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]
@inproceedings{SwainM86,
title = {Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision},
author = {Michael J. Swain and Joseph L. Mundy},
year = {1986},
doi = {10.1109/ROBOT.1986.1087691},
url = {http://dx.doi.org/10.1109/ROBOT.1986.1087691},
researchr = {https://researchr.org/publication/SwainM86},
cites = {0},
citedby = {0},
pages = {280-285},
booktitle = {Proceedings of the 1986 IEEE International Conference on Robotics and Automation, San Francisco, California, USA, April 7-10, 1986},
publisher = {IEEE},
isbn = {0-8186-0695-9},
}