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.

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

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

  1. Giesbrecht, Mark; Heinle, Albert; Levandovskyy, Viktor: Factoring linear partial differential operators in $n$ variables (2016)
  2. Gräbe, Hans-Gert: Semantic-aware fingerprints of symbolic research data (2016)
  3. Joswig, Michael; Mehner, Milan; Sechelmann, Stefan; Techter, Jan; Bobenko, Alexander I.: DGD Gallery: storage, sharing, and publication of digital research data (2016)
  4. Afzal, Deeba; Janjua, Faira Kanwal; Pfister, Gerhard; Steidel, Stefan: Solving via modular methods (2014)
  5. Chen, Xiaoyu: Representation and automated transformation of geometric statements (2014)
  6. Giesbrecht, Mark; Heinle, Albert; Levandovskyy, Viktor: Factoring linear differential operators in $n$ variables (2014)
  7. Kredel, Heinz: Comprehensive Gröbner bases in a Java computer algebra system (2014)
  8. La Scala, Roberto; Levandovskyy, Viktor: Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra. (2013)
  9. Levandovskyy, Viktor; Studzinski, Grischa; Schnitzler, Benjamin: Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm (2013)
  10. Studzinski, Grischa: Implementation and applications of fundamental algorithms relying on Gröbner bases in free associative algebras. (2013)
  11. Gräbe, Hans-Gert: News from the SymbolicData project (2012)
  12. Chen, Xiaoyu; Huang, Ying; Wang, Dongming: On the design and implementation of a geometric knowledge base (2011)
  13. Idrees, Nazeran; Pfister, Gerhard; Steidel, Stefan: Parallelization of modular algorithms (2011)
  14. Jambor, Sebastian: Computing minimal associated primes in polynomial rings over the integers (2011)
  15. Pfister, Gerhard; Sadiq, Afshan; Steidel, Stefan: An algorithm for primary decomposition in polynomial rings over the integers (2011)
  16. Brickenstein, Michael: Slimgb: Gröbner bases with slim polynomials (2010)
  17. Mityunin, V.A.; Pankratiev, E.V.: Parallel algorithms for Gröbner-basis construction (2007)
  18. Moreno Maza, Marc; Reid, Greg; Scott, Robin; Wu, Wenyuan: On approximate triangular decompositions in dimension zero (2007)
  19. Gräbe, Hans-Gert: The SymbolicData GEO records -- a public repository of geometry theorem proof schemes (2004)
  20. Winkler, Franz (ed.): Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers. (2004)

Further publications can be found at: