3 Publications

Mark all

[3]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
[2]
2021 | Accepted | Conference Paper | IST-REx-ID: 9592 | OA
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version] View | Files available | arXiv
 
[1]
2021 | Submitted | Preprint | IST-REx-ID: 10045 | OA
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed

Grants


3 Publications

Mark all

[3]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
[2]
2021 | Accepted | Conference Paper | IST-REx-ID: 9592 | OA
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version] View | Files available | arXiv
 
[1]
2021 | Submitted | Preprint | IST-REx-ID: 10045 | OA
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed