Martin Dvorak

Graduate School
Kolmogorov Group

3 Publications

Mark all

[3]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version] View | Files available | DOI | arXiv
 
[2]
2021 | Accepted | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak, M., & Nicholson, S. (n.d.). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, NS, Canada.
[Submitted Version] View | Files available | arXiv
 
[1]
2021 | Submitted | Preprint | IST-REx-ID: 10045 | OA
Dvorak, M., & Kolmogorov, V. (n.d.). Generalized minimum 0-extension problem and discrete convexity. arXiv. https://doi.org/10.48550/arXiv.2109.10203
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

Grants


3 Publications

Mark all

[3]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version] View | Files available | DOI | arXiv
 
[2]
2021 | Accepted | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak, M., & Nicholson, S. (n.d.). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, NS, Canada.
[Submitted Version] View | Files available | arXiv
 
[1]
2021 | Submitted | Preprint | IST-REx-ID: 10045 | OA
Dvorak, M., & Kolmogorov, V. (n.d.). Generalized minimum 0-extension problem and discrete convexity. arXiv. https://doi.org/10.48550/arXiv.2109.10203
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed