Picture for Julien Narboux

Julien Narboux

University of Strasbourg, France

Proceedings 12th International Workshop on Theorem proving components for Educational software

Add code
Apr 04, 2024
Viaarxiv icon

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

Add code
Jan 22, 2024
Viaarxiv icon