Martin Dvorak

According to our database, Martin Dvorak authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Duality theory in linear optimization and its extensions - formally verified.

Martin Dvorak, Vladimir Kolmogorov

CoRR, 2024

2023

Closure Properties of Unrestricted Grammars - Formally Verified.

Martin Dvorak, Jasmin Blanchette

CoRR, 2023

Closure Properties of General Grammars - Formally Verified.

Martin Dvorak, Jasmin Blanchette

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2021

Generalized minimum 0-extension problem and discrete convexity.

Martin Dvorak, Vladimir Kolmogorov

CoRR, 2021

Massively Winning Congurations in the Convex Grabbing Game on the Plane.

Martin Dvorak, Sara Nicholson

Proceedings of the 33rd Canadian Conference on Computational Geometry, 2021