Tarski Geometry Axioms.

William Richter Adam Grabowski Jesse Alama

Published in: Formaliz. Math. (2014)

Keyphrases

knowledge base
three dimensional
databases
genetic algorithm
decision making
first order logic
viewpoint
finite element
geometric constraints
geometric features
projective geometry
axiomatic characterization