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

Publisher Website

1 January 1986

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 280-285
https://doi.org/10.1109/robot.1986.1087691

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Reasoning about three dimensional space
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
Proving Elementary Geometry Theorems Using Wu’s Algorithm
Published by American Mathematical Society (AMS) ,1984
Recovery of the three-dimensional shape of an object from a single view
Artificial Intelligence, 1981