TGTP swMATH ID: 12327 Software Authors: Pedro Quaresma Description: 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. Homepage: http://hilbert.mat.uc.pt/TGTP/index.php Related Software: GeoGebra; Intergeo; GeoThms; GCLCprover; GCLC; GATP; Electronic Geometry Textbook; GeoProof; TPTP; Cinderella; GEOTHER 1.1; JGEX; Opengeo; GEX; ArgoCLP; SMT-LIB; SATLIB; ArgoTriCS; WGL; Automath Cited in: 13 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Thousands of geometric problems for geometric theorem provers (TGTP). Zbl 1350.68243Quaresma, Pedro 2011 all top 5 Cited by 23 Authors 6 Quaresma, Pedro 4 Chen, Xiaoyu 3 Wang, Dongming 2 Anai, Hirokazu 2 Arai, Noriko H. 2 Baeta, Nuno 2 Fukasaku, Ryoya 2 Iwane, Hidenao 2 Kobayashi, Munehiro 2 Kudo, Jumma 2 Matsuzaki, Takuya 2 Song, Dan 2 Zhan, Yiyang 1 An, Wenya 1 Graziani, Pierluigi 1 Haralambous, Yannis 1 Jiang, Lei 1 Macke, Jaroslav 1 Olšák, Miroslav 1 Santos, Vanda 1 Sedlář, Jiří 1 Sivic, Josef 1 Urban, Josef Cited in 5 Serials 3 Mathematics in Computer Science 1 Journal of Symbolic Computation 1 AI Communications 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Systems Science and Complexity Cited in 5 Fields 13 Computer science (68-XX) 2 Geometry (51-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year