Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision | IEEE Conference Publication | IEEE Xplore