TGTP

swMATH12327MaRDI QIDQ24256FDOQ24256

Author name not available (Why is that?)

Described by source

• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)

Cited In (12)

• OpenGeo: An Open Geometric Knowledge Base
• Taxonomies of geometric problems
• Current Status of the I2GATP Common Format
• Learning to solve geometric construction problems from images
• Automated deduction and knowledge management in geometry
• Formalization and specification of geometric knowledge objects
• Automated generation of geometric theorems from images of diagrams
• Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
• 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
• Towards an intelligent and dynamic geometry book
• Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems

This page was built for software: TGTP