TY  - RPRT
TI  - A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem
AU  - Ivan Sergeev
AU  - Martin Dvorak
AU  - Cameron Rampell
AU  - Mark Sandey
AU  - Pietro Monticone
PY  - 2026
UR  - https://arxiv.org/abs/2601.01255
ID  - 2601.01255
ER  -