Mechanical Theorem Proving in Projective Geometry.
Jürgen Richter-GebertPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- theorem proving
- projective geometry
- cross ratio
- computer vision
- camera calibration
- camera parameters
- first order logic
- three dimensional
- inference rules
- theorem prover
- pose estimation
- parallel search
- proof planning
- geometry theorem proving
- straight line
- fractional programming
- consequence finding
- proof procedure
- proof search
- data mining
- natural language
- face recognition