Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision.
Michael J. SwainJoseph L. MundyPublished in: ICRA (1986)
Keyphrases
- theorem prover
- computer vision
- proof search
- theorem proving
- formal proof
- first order logic
- automated reasoning
- inference rules
- term rewriting
- computer algebra
- automated theorem proving
- object recognition
- formal semantics
- object detection
- natural deduction
- computer graphics
- vision system
- machine learning
- pattern recognition
- image processing
- higher order logic
- mathematical knowledge
- boolean algebra
- predicate calculus
- image understanding
- logic programming
- training data
- image segmentation