Login / Signup
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes.
Hans-Gert Gräbe
Published in:
Automated Deduction in Geometry (2002)
Keyphrases
</>
interactive theorem proving
geometry theorem proving
digital libraries
databases
database
three dimensional
open access
theorem proving
geometric information
data sets
computer vision
metadata
theorem prover
geometric constraints
geometric features
public administration