A proof of the Oja depth conjecture in the plane.

Nabil H. Mustafa Hans Raj Tiwary Daniel Werner

Published in: Comput. Geom. (2014)

Keyphrases

three dimensional
theorem prover
depth map
depth information
data sets
information retrieval
theorem proving
free space
scene depth
database
neural network
vision system
ground plane
linear logic
proof theory