Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry.
Dominique MichelucciPublished in: Automated Deduction in Geometry (2010)
Keyphrases
- search methods
- human readable
- projective geometry
- proof search
- theorem prover
- search algorithm
- computer vision
- metaheuristic
- meta information
- camera calibration
- camera parameters
- pose estimation
- semantic content
- sequent calculus
- three dimensional
- hand crafted
- straight line
- image sequences
- semi supervised
- image features
- search space
- object recognition