Picture for Salwa Tabet Gonzalez

Salwa Tabet Gonzalez

University of Strasbourg

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

Add code
Jan 22, 2024
Viaarxiv icon