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. (n.d.). A blueprint for the formalization of Seymour’s matroid decomposition theorem. arXiv. https://doi.org/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., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. https://doi.org/10.48550/arXiv.2509.20539
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

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. (n.d.). A blueprint for the formalization of Seymour’s matroid decomposition theorem. arXiv. https://doi.org/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., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. https://doi.org/10.48550/arXiv.2509.20539
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed