Browsing by Author Gonzalez, Salwa Tabet
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 22-Jan-2024 | Automated Completion of Statements and Proofs in Synthetic Geometry: An Approach based on Constraint Solving | Gonzalez, Salwa Tabet; Janičić, Predrag ; Narboux, Julien | M33 |