Ivan Sergeev
2 Publications
2026 |
Submitted |
Preprint |
IST-REx-ID: 21400 |
Sergeev, Ivan, et al. “A Blueprint for the Formalization of Seymour’s Matroid Decomposition Theorem.” ArXiv, doi:10.48550/arXiv.2601.01255.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, doi:10.48550/arXiv.2509.20539.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Grants
2 Publications
2026 |
Submitted |
Preprint |
IST-REx-ID: 21400 |
Sergeev, Ivan, et al. “A Blueprint for the Formalization of Seymour’s Matroid Decomposition Theorem.” ArXiv, doi:10.48550/arXiv.2601.01255.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, doi:10.48550/arXiv.2509.20539.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv