Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.

Victor Pambuccian

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

Keyphrases

euclidean geometry
three dimensional
projective geometry
decision procedures
conservation laws
euclidean distance
partial differential equations
image pairs