Herbrand's Theorem and non-Euclidean Geometry.

Michael Beeson Pierre Boutry Julien Narboux

Published in: Bull. Symb. Log. (2015)

Keyphrases

interactive theorem proving
logic programs
tangent space
first order logic
three dimensional
logic programming
euclidean space
databases
neural network
distance measure
geometric structure
geometric information
euclidean distance
horn clauses