Login / Signup

Tarski Geometry Axioms - Part II.

Roland CoghettoAdam Grabowski
Published in: Formaliz. Math. (2016)
Keyphrases
  • three dimensional
  • knowledge base
  • databases
  • geometrical constraints
  • artificial neural networks
  • geometric constraints