Constructive Axiomatization of Plane Hyperbolic Geometry.

Victor Pambuccian

Published in: Math. Log. Q. (2001)

Keyphrases

three dimensional
euclidean geometry
projective geometry
relative position
optical flow
principal component analysis
single image
range images
light source
situation calculus
projective space