Geo Prover – a small package for mechanized (plane) geometry manipulations

Authors: 
Gräbe, Hans-Gert
Year: 
2002
Appeared / Erschienen in: 
Version 1.2, Febr 2002