SymbolicData

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 16 articles , 1 standard article )

Showing results 1 to 16 of 16.
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. Studzinski, Grischa: Implementation and applications of fundamental algorithms relying on Gröbner bases in free associative algebras. (2013)
  9. Chen, Xiaoyu; Huang, Ying; Wang, Dongming: On the design and implementation of a geometric knowledge base (2011)
  10. Idrees, Nazeran; Pfister, Gerhard; Steidel, Stefan: Parallelization of modular algorithms (2011)
  11. Jambor, Sebastian: Computing minimal associated primes in polynomial rings over the integers (2011)
  12. Pfister, Gerhard; Sadiq, Afshan; Steidel, Stefan: An algorithm for primary decomposition in polynomial rings over the integers (2011)
  13. Brickenstein, Michael: Slimgb: Gröbner bases with slim polynomials (2010)
  14. Mityunin, V.A.; Pankratiev, E.V.: Parallel algorithms for Gröbner-basis construction (2007)
  15. Moreno Maza, Marc; Reid, Greg; Scott, Robin; Wu, Wenyuan: On approximate triangular decompositions in dimension zero (2007)
  16. Gräbe, Hans-Gert: The SymbolicData GEO records -- a public repository of geometry theorem proof schemes (2004)


Further publications can be found at: http://symbolicdata.org/wiki/Publications