Ivan Sergeev

2 Publications

Mark all

[2]
2026 | Submitted | Preprint | IST-REx-ID: 21400 | OA
Sergeev I, Dvorak M, Rampell C, Sandey M, Monticone P. 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
 
[1]
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak M, Figueroa-Reid T, Hamadani R, 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
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

Grants


2 Publications

Mark all

[2]
2026 | Submitted | Preprint | IST-REx-ID: 21400 | OA
Sergeev I, Dvorak M, Rampell C, Sandey M, Monticone P. 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
 
[1]
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak M, Figueroa-Reid T, Hamadani R, 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
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed