Cover Image

A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sergeev, Ivan, Dvorak, Martin, Rampell, Cameron, Sandey, Mark, Monticone, Pietro
Format:	Preprint
Published:	2026
Subjects:	Combinatorics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
by: Dvorak, Martin, et al.
Published: (2025)

List Chromatic Number of Finitary Matroids: A Generalization of Seymour's Result
by: Csernák, Tamás
Published: (2022)

A short proof of the Goldberg-Seymour conjecture
by: Chen, Guantao, et al.
Published: (2024)

Matroid reinforcement and sparsification
by: Truong, Huy, et al.
Published: (2024)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
by: Dvorak, Martin
Published: (2026)

A note on the Alon-Saks-Seymour problem
by: Fox, Jacob
Published: (2026)

Matroid bingo
by: Baker, Matthew, et al.
Published: (2025)

Seymour's second neighbourhood conjecture: random graphs and reductions
by: Díaz, Alberto Espuny, et al.
Published: (2024)

Product structure extension of the Alon--Seymour--Thomas theorem
by: Distel, Marc, et al.
Published: (2022)

Symmetric Tensor Matroids, Dual Rigidity Matroids, and the Maximality Conjecture
by: Jackson, Bill, et al.
Published: (2025)

Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties
by: Liwski, Emiliano, et al.
Published: (2024)

Seymour and Woodall's conjecture holds for graphs with independence number two
by: Chen, Rong, et al.
Published: (2024)

Powers of Hamiltonian cycles in randomly augmented Pósa-Seymour graphs
by: Antoniuk, Sylwia, et al.
Published: (2025)

Proto-Exact Categories of Matroids over Idylls and Tropical Toric Reflexive Sheaves
by: Jun, Jaiung, et al.
Published: (2025)

Matroid lifts and representability
by: Bernstein, Daniel Irving, et al.
Published: (2023)

Matroids that classify forests
by: Traldi, Lorenzo
Published: (2020)

Representability of Flag Matroids
by: Bernstein, Daniel Irving, et al.
Published: (2025)

Parametric Matroid Interdiction
by: Hausbrandt, Nils, et al.
Published: (2023)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
by: Liwski, Emiliano, et al.
Published: (2025)

On Degeneracy in the P-Matroid Oriented Matroid Complementarity Problem
by: Borzechowski, Michaela, et al.
Published: (2023)

Combinatorics of irreducible characters for Lie superalgebra $\frak{gl}(m,n)$
by: Sergeev, Alexander
Published: (2024)

Describing Quasi-Graphic Matroids
by: Bowler, Nathan, et al.
Published: (2018)

Matroids arisen from seeds
by: Kadhem, Fayadh
Published: (2024)

Matroidal Cycles and Hypergraph Families
by: Freij-Hollanti, Ragnar, et al.
Published: (2024)

Cyclic Orderings of Paving Matroids
by: McGuinness, Sean
Published: (2023)

Enumerating Matroids and Linear Spaces
by: Kwan, Matthew, et al.
Published: (2021)

Valuative Invariants of Catalan Matroids
by: Chen, Yiming, et al.
Published: (2025)

Base Modulus for Matroid Truncation, Strength, and Fractional Arboricity
by: Truong, Huy, et al.
Published: (2026)

Seymour-tight orientations
by: Guo, Krystal, et al.
Published: (2026)

Modularity, Extensions and Connectivity in Infinite Matroids
by: Ehatamm, Mattias, et al.
Published: (2026)

Short Rainbow Circuits in Regular Matroids
by: McGuinness, Sean
Published: (2026)

The Closure Operator of es-Splitting Matroids
by: Dhotre, S. B., et al.
Published: (2016)

The Parametric Matroid $\ell$-Interdiction Problem
by: Hausbrandt, Nils, et al.
Published: (2024)

Extension-lifting Bijections for Oriented Matroids
by: Backman, Spencer, et al.
Published: (2019)

Binomial Random Matroids
by: Bennett, Patrick, et al.
Published: (2026)

Principal Matroid Determinants
by: Matsubara-Heo, Saiei-Jaeyeong, et al.
Published: (2026)

A Nearly Finitary Matroid that is not $k$-Nearly Finitary
by: Tam, Patrick
Published: (2024)

Generalizing the Multiple Exchange Property for Matroid Bases
by: Oki, Taihei, et al.
Published: (2025)

Towards the Proximity Conjecture on Group-Labeled Matroids
by: Garamvölgyi, Dániel, et al.
Published: (2024)

Matchings in Matroids over Abelian Groups, III
by: Aliabadi, Mohsen, et al.
Published: (2025)