Keyphrases
- geometry theorem proving
- projective geometry
- theorem proving
- geometric structure
- geometric information
- geometric constraints
- semi automated
- tangent space
- proof search
- geometric features
- fully automated
- automated theorem provers
- three dimensional
- projective space
- theorem prover
- surface geometry
- spatial reasoning
- planar curves
- geometric models
- photometric properties
- first order logic