TY  - RPRT
TI  - Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
AU  - Salwa Tabet Gonzalez
AU  - Predrag Janičić
AU  - Julien Narboux
PY  - 2024
DO  - 10.4204/eptcs.398.6
UR  - https://arxiv.org/abs/2401.11898
ID  - 2401.11898
ER  -