TGTP

TGTP - Thousand of Geometric problems for geometric Theorem Provers. The principal motivation in building TGTP (Thousands of Geometric problems for geometric Theorem Provers) is to support the testing and evaluation of geometric automated theorem proving (GATP) systems, to help ensure that performance results accurately reflect the capabilities of the GATP system being considered.


References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Macke, Jaroslav; Sedlar, Jiri; Olsak, Miroslav; Urban, Josef; Sivic, Josef: Learning to solve geometric construction problems from images (2021)
  2. Quaresma, Pedro: Automated deduction and knowledge management in geometry (2020)
  3. Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno: Taxonomies of geometric problems (2020)
  4. Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.: Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems (2018)
  5. Quaresma, Pedro: Towards an intelligent and dynamic geometry book (2017)
  6. Matsuzaki, Takuya; Iwane, Hidenao; Kobayashi, Munehiro; Zhan, Yiyang; Fukasaku, Ryoya; Kudo, Jumma; Anai, Hirokazu; Arai, Noriko H.: Race against the teens -- benchmarking mechanized math on pre-university problems (2016)
  7. Chen, Xiaoyu; Song, Dan; Wang, Dongming: Automated generation of geometric theorems from images of diagrams (2015)
  8. Quaresma, Pedro; Baeta, Nuno: Current status of the I2GATP common format (2015)
  9. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  10. Haralambous, Yannis; Quaresma, Pedro: Querying geometric figures using a controlled language, ontological graphs and dependency lattices (2014)
  11. Wang, Dongming; Chen, Xiaoyu; An, Wenya; Jiang, Lei; Song, Dan: Opengeo: an open geometric knowledge base (2014)
  12. Chen, Xiaoyu; Wang, Dongming: Formalization and specification of geometric knowledge objects (2013)
  13. Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)