Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision.

Michael J. Swain, Joseph L. Mundy

Browse the full ICRA paper archive.