Publications about SymbolicData
- H.-G. Gräbe:
- The SymbolicData GEO Records - A
Public Repository of Geometry Theorem Proof Schemes
- Talk at the ADG-02 conference in Linz, Sept 2002.
- In: Automated Deduction in Geometry 2002, ed. F. Winkler, LNAI 2930.
Springer, Berlin 2004, 67-86.
- H.-G. Gräbe:
- The SymbolicData Geometry
Collection and the GeoProver Packages
- Proceedings "8th Rhine Workshop on Computer Algebra" (RWCA-02),
March 2002 in Mannheim
- pp. 173 - 194, Publ. by Univ. Mannheim
- H.-G. Gräbe:
- The SymbolicData Benchmark
Problems Collection of Polynomial Systems
- Proceedings "Workshop on Under- and Overdetermined Systems of
Algebraic or Differential Equations", March 2002 in Karlsruhe
- pp. 57 - 76, Publ. by IAS, Univ. Karlsruhe
- H.-G. Gräbe:
- Neues vom SymbolicData Projekt
- in: Computeralgebra-Rundbrief 28 (March 2001) (in german)
- O. Bachmann, H.-G. Gräbe:
- The SymbolicData Project - Towards
an Electronic Repository
of Tools and Data for Benchmarks of
Computer Algebra Software
- Reports On Computer Algebra 27 (2000), Centre for Computer
Algebra, University of Kaiserslautern
- O. Bachmann, H.-G. Gräbe:
- Das SymbolicData Projekt
- in: Computeralgebra-Rundbrief 26 (March 2000) (in german)