Interactive Theorem Proving and Finite Projective Planes.
Johannes UeberbergPublished in: AISMC (1996)
Keyphrases
- interactive theorem proving
- projective space
- three dimensional
- reconstruction from multiple views
- real world
- planar surfaces
- d objects
- knowledge base
- search engine
- artificial intelligence
- structure from motion
- finite number
- projective geometry
- euclidean reconstruction
- learning algorithm
- equational theories
- databases