The following pages link to (Q4418135):
Displaying 5 items.
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams (Q3452283) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)