Sign in

Tarski Geometry Axioms.

William RichterAdam GrabowskiJesse 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