Picture for Predrag Janičić

Predrag Janičić

University of Belgrade

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

Add code
Jan 22, 2024
Viaarxiv icon

Proceedings of the 13th International Conference on Automated Deduction in Geometry

Add code
Dec 28, 2021
Viaarxiv icon