Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
85 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 21143 |
| 
|
Harris, David G., et al. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” Theory of Computing, vol. 21, no. 5, University of Chicago Press, 2025, pp. 1–34, doi:10.4086/toc.2025.v021a005.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Kolmogorov, Vladimir, et al. “Certifying Solutions of Degenerate Semidefinite Programs.” SIAM Journal on Optimization, vol. 35, no. 3, Society for Industrial and Applied Mathematics, 2025, pp. 1630–54, doi:10.1137/24m1664691.
[Preprint]
View
| 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
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” ArXiv, 2409.08119, doi:10.48550/arXiv.2409.08119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv