Home > Software

GeoProver

The GeoProver is a package for Geometry Theorem Proving developed for several CAS by H.-G. Gräbe.

The current version 1.3 was released in March 2003.

See

• http://www.informatik.uni-leipzig.de/~compalg/software/geoprover
• https://github.com/hg-graebe/GeoProver