Michael J. Swain, Joseph L. Mundy. Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision. In Proceedings of the 1986 IEEE International Conference on Robotics and Automation, San Francisco, California, USA, April 7-10, 1986. pages 280-285, IEEE, 1986. [doi]
Abstract is missing.