Martin Dvorak

4 Publications

Mark all

[4]
2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 209, 279–322.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[3]
2024 | Submitted | Preprint | IST-REx-ID: 20071 | OA
Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally  verified. arXiv, 2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive Theorem Proving, LIPIcs, vol. 268, 15.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2021 | Published | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak M, Nicholson S. 2021. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Published Version] View | Files available | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed

Grants


4 Publications

Mark all

[4]
2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 209, 279–322.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[3]
2024 | Submitted | Preprint | IST-REx-ID: 20071 | OA
Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally  verified. arXiv, 2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive Theorem Proving, LIPIcs, vol. 268, 15.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2021 | Published | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak M, Nicholson S. 2021. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Published Version] View | Files available | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed