H.-G. Gräbe: Verschiedene Software-Projekte

H.-G. Gräbe: Cali
Cali is a REDUCE Package for Commutative Algebra

H.-G. Gräbe: GeoProver
The GeoProver is a small package for mechanized (plane) geometry manipulations with non degeneracy tracing, available for different CAS platforms (Maple, MuPAD, Mathematica, Maxima and Reduce).

GeoFuchs
GeoFuchs is a small Java based DGS prototype developed by several of my students during 2003-2005.

The SymbolicData Project
The SymbolicData Project unifies efforts to collect digital data for profiling, testing and benchmarking Computer Algebra Software from various Symbolic Computation Communities together with concepts, tools and experience for their management both globally and also for special profiling, testing and benchmarking purposes at a local site.


apl. Prof. Dr. H.-G. Gräbe