TGTP
From MaRDI portal
Software:24256
No author found.
Related Items (12)
Learning to solve geometric construction problems from images ⋮ Current Status of the I2GATP Common Format ⋮ Towards an intelligent and dynamic geometry book ⋮ Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 ⋮ Representation and automated transformation of geometric statements ⋮ Automated deduction and knowledge management in geometry ⋮ Formalization and specification of geometric knowledge objects ⋮ Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems ⋮ Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices ⋮ Taxonomies of geometric problems ⋮ Automated generation of geometric theorems from images of diagrams ⋮ OpenGeo: An Open Geometric Knowledge Base
This page was built for software: TGTP
