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 Referenced 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 Referenced 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 Referenced 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 Referenced 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) Referencing Publications by Year