Formalization of the arithmetization of Euclidean plane geometry and applications.

Pierre Boutry Gabriel Braun Julien Narboux

Published in: J. Symb. Comput. (2019)

Keyphrases

euclidean plane
neural network
three dimensional
knowledge representation
formal model
databases
machine learning
learning algorithm
data structure
expert systems