Software.GeoProver

From symbolicdata
Jump to: navigation, search

Main_Page > 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