Login / Signup
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP).
Pedro Quaresma
Published in:
Automated Deduction in Geometry (2010)
Keyphrases
</>
theorem prover
theorem proving
geometry theorem proving
computational geometry
np complete
geometric constraints
geometric structure
geometric information
machine learning
first order logic