Thomas Ammer

According to our database, Thomas Ammer authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows.

Mohammad Abdulaziz, Thomas Ammer

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Number Theoretic Transform.

Thomas Ammer, Katharina Kreuzer

Arch. Formal Proofs, 2022

2021

van Emde Boas Trees.

Thomas Ammer, Peter Lammich

Arch. Formal Proofs, 2021