Martin Dvorak
3 Publications
2023 |
Published |
Conference Paper |
IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Accepted |
Conference Paper |
IST-REx-ID: 9592 |
Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” Proceedings of the 33rd Canadian Conference on Computational Geometry.
[Submitted Version]
View
| Files available
| arXiv
2021 |
Submitted |
Preprint |
IST-REx-ID: 10045 |
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” ArXiv, 2109.10203, doi:10.48550/arXiv.2109.10203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Grants
3 Publications
2023 |
Published |
Conference Paper |
IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Accepted |
Conference Paper |
IST-REx-ID: 9592 |
Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” Proceedings of the 33rd Canadian Conference on Computational Geometry.
[Submitted Version]
View
| Files available
| arXiv
2021 |
Submitted |
Preprint |
IST-REx-ID: 10045 |
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” ArXiv, 2109.10203, doi:10.48550/arXiv.2109.10203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv