swMATH12327MaRDI QIDQ24256FDOQ24256
Author name not available (Why is that?)
Official website: http://hilbert.mat.uc.pt/TGTP/index.php
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
