Martin Dvorak

According to our database1, Martin Dvorak authored at least 5 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2021
2022
2023
2024
2025
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Generalized minimum 0-extension problem and discrete convexity.
Math. Program., January, 2025

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

2023
Closure Properties of Unrestricted Grammars - Formally Verified.
CoRR, 2023

Closure Properties of General Grammars - Formally Verified.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2021
Massively Winning Congurations in the Convex Grabbing Game on the Plane.
Proceedings of the 33rd Canadian Conference on Computational Geometry, 2021


  Loading...