papers
Computing Witnesses Using the SCAN Algorithm
2025
with Stefan Hetzl and Renate A. Schmidt
published in the conference proceedings of CADE-30
talks
Computing Witnesses Using the SCAN Algorithm
July 30, 2025
at CADE-30 in Stuttgart, Germany
Computing Witnesses Using the SCAN Algorithm
July 16, 2025
at the Computational Logic Seminar at TU Wien
Computing Witnesses Using the SCAN Algorithm
November 20, 2024
at the Formal Methods Seminar of The University of Manchester
Formula equations and the affine solution problem
June 13, 2024
at the Geometry Seminar at TU Wien
Decidability of Diophantine satisfiability in theories close to IOpen
September 26, 2023
at the 42nd Weak Arithmetic Days in Karlovassi, Greece
Decidability of Diophantine equations in a theory adjacent to IOpen
April 19, 2023
at the Computational Logic Seminar at TU Wien
organization
Lean Tutorial (co-organized)
September 18-20, 2024
at TU Wien