Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Michael J. Swain' in GoogleThis author has not been identified. Look up 'Joseph L. Mundy' in Google

runs on WebDSL