TY  - RPRT
TI  - Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
AU  - Martin Dvorak
AU  - Tristan Figueroa-Reid
AU  - Rida Hamadani
AU  - Byung-Hak Hwang
AU  - Evgenia Karunus
AU  - Vladimir Kolmogorov
AU  - Alexander Meiburg
AU  - Alexander Nelson
AU  - Peter Nelson
AU  - Mark Sandey
AU  - Ivan Sergeev
PY  - 2025
UR  - https://arxiv.org/abs/2509.20539
ID  - 2509.20539
ER  -