Keyphrases
- geometry theorem proving
- projective geometry
- theorem proving
- geometric structure
- projective space
- geometric constraints
- geometric information
- geometric algebra
- camera parameters
- proof search
- geometric features
- straight line
- computer vision
- camera calibration
- three dimensional
- geometric primitives
- digital topology
- pose estimation
- topological spaces
- spatial reasoning
- planar curves
- geometric models