Extended Abstracts Of Current Deduction Systems

8th International Conference on Automated Deduction

Volume 230 of the series Lecture Notes in Computer Science pp 679-680


GEO-prover — A geometry theorem prover developed at UT

  • Shang-Ching ChouAffiliated withICSCA, University of Texas at Austin

* Final gross prices may vary according to local VAT.

Get Access