Tarski Geometry Axioms. Part IV - Right Angle.

Roland Coghetto Adam Grabowski

Published in: Formaliz. Math. (2019)

Keyphrases

three dimensional
knowledge base
relative position
databases
multiscale
table of contents
machine learning
data mining
geometrical constraints