TGTP

swMATH12327MaRDI QIDQ24256FDOQ24256

Author name not available (Why is that?)

Official website: http://hilbert.mat.uc.pt/TGTP/index.php

Described by source

• Thousands of geometric problems for geometric theorem provers (TGTP)

Cited In (33)

• Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
• Taxonomies of geometric problems
• Learning to solve geometric construction problems from images
• Automated deduction and knowledge management in geometry
• GCLC
• I2Geo
• SATLIB
• GeoGebra
• GeoProof
• JSXGraph
• GCLCprover
• GeoThms
• Formalization and specification of geometric knowledge objects
• OpenGeoProver
• Electronic Geometry Textbook
• Intergeo
• webDiscovery
• arXMLiv
• GeoText
• Opengeo
• JGEX
• ArgoTriCS
• Automated generation of geometric theorems from images of diagrams
• GATP
• Baghera
• WGL
• Representation and automated transformation of geometric statements
• Towards an intelligent and dynamic geometry book
• Opengeo: an open geometric knowledge base
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Current status of the I2GATP common format
• Euclidea
• Race against the teens -- benchmarking mechanized math on pre-university problems

This page was built for software: TGTP