Ivan Sergeev

2 Publications

Mark all

[2]
2026 | Submitted | Preprint | IST-REx-ID: 21400 | OA
I. Sergeev, M. Dvorak, C. Rampell, M. Sandey, and P. Monticone, “A blueprint for the formalization of Seymour’s matroid decomposition theorem,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[1]
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
M. Dvorak et al., “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


2 Publications

Mark all

[2]
2026 | Submitted | Preprint | IST-REx-ID: 21400 | OA
I. Sergeev, M. Dvorak, C. Rampell, M. Sandey, and P. Monticone, “A blueprint for the formalization of Seymour’s matroid decomposition theorem,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[1]
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
M. Dvorak et al., “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed