Martin Dvorak

According to our database, Martin Dvorak authored at least 8 papers between 2021 and 2026.

Collaborative distances:

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

2026

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids.

Martin Dvorak

CoRR, February, 2026

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

Martin Dvorak, Vladimir Kolmogorov

Ann. Formaliz. Math., 2026

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 2025

Composition Direction of Seymour's Theorem for Regular Matroids - Formally Verified.

Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, Alexander Nelson, Peter Nelson, Mark Sandey, Ivan Sergeev

CoRR, September, 2025

Generalized minimum 0-extension problem and discrete convexity.

Martin Dvorak, Vladimir Kolmogorov

Math. Program., January, 2025

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

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