SymbolicData swMATH ID: 4621 Software Authors: Gräbe, Hans-Gert Description: The SymbolicData GEO records – a public repository of geometry theorem proof schemes Formalized proof schemes are the starting point for testing, comparing, and benchmarking of different geometry theorem proving approaches and provers. To automatize such tests it is desirable to collect a common data base of proof schemes, and to develop tools to extract examples, prepare them for input to different provers, and run them “in bulk”. The main drawback so far of special collections, e.g., Chou’s collection with more than 500 examples of proof schemes, was their restricted availability and interoperability. We report about first experience with a generic proof schemes language, the GeoCode language, that was invented to store more than 300 proof schemes in a publicly available repository, and tools to prepare these generic proof schemes for input to different target provers. The work is part of the SymbolicData project. Homepage: http://www.symbolicdata.org/ Keywords: Theorem proving Related Software: SINGULAR; SDeval; SageMath; Plural; GEOTHER 1.1; Magma; Maple; RegularChains; Letterplace; GAP; polymake; PoSSo; Intergeo; GeoThms; GeoGebra; ApCoCoA; BERGMAN; homalg; OpenDreamKit; OEIS Cited in: 28 Publications Further Publications: http://symbolicdata.org/wiki/Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The SymbolicData GEO records – a public repository of geometry theorem proof schemes. Zbl 1202.68379Gräbe, Hans-Gert 2004 all top 5 Cited by 48 Authors 8 Levandovskyy, Viktor 4 Pfister, Gerhard 3 Heinle, Albert 3 Steidel, Stefan 2 Chen, Xiaoyu 2 England, Matthew 2 Giesbrecht, Mark W. 2 Gräbe, Hans-Gert 2 Studzinski, Grischa 1 Afzal, Deeba 1 Berčič, Katja 1 Bobenko, Alexander Ivanovich 1 Brickenstein, Michael 1 Bridge, James P. 1 Davenport, James Harold 1 Decker, Wolfram 1 Eder, Christian 1 Florescu, Dorian 1 Huang, Ying 1 Huang, Zongyan 1 Idrees, Nazeran 1 Jambor, Sebastian 1 Janjua, Faira Kanwal 1 Joswig, Michael 1 Kanwal, Shamsa 1 Kredel, Heinz 1 La Scala, Roberto 1 Martín-Morales, Jorge 1 Mehner, Milan 1 Mityunin, V. A. 1 Moreno Maza, Marc 1 Pankrat’ev, Evgeniĭ Vasil’evich 1 Paulson, Lawrence Charles 1 Reid, Greg J. 1 Sadiq, Afshan 1 Schnitzler, Benjamin 1 Schönemann, Hans 1 Scott, Robin 1 Sechelmann, Stefan 1 Sperber, Wolfram 1 Techter, Jan 1 Tiwari, Sharwan Kumar 1 Vidali, Janoš 1 Wang, Dongming 1 Wilson, David J. 1 Winkler, Franz 1 Wu, Wenyuan 1 Zeid, Karim Abou all top 5 Cited in 9 Serials 5 Journal of Symbolic Computation 3 Mathematics in Computer Science 1 Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie. Nouvelle Série 1 Journal of Mathematical Sciences (New York) 1 Revista Matemática Complutense 1 Journal of Systems Science and Complexity 1 Central European Journal of Mathematics 1 Lecture Notes in Computer Science 1 ACM Communications in Computer Algebra all top 5 Cited in 9 Fields 22 Computer science (68-XX) 13 Commutative algebra (13-XX) 5 Associative rings and algebras (16-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Partial differential equations (35-XX) 1 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year