The following pages link to TGTP (Q24256):
Displaying 12 items.
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922) (← links)
- OpenGeo: An Open Geometric Knowledge Base (Q2879130) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
