Date: 31 May 2005

GEO-prover — A geometry theorem prover developed at UT

* Final gross prices may vary according to local VAT.

Get Access
This is an extended abstract. The work reported here was supported by NSF Grant DCR-8503498.