From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.

Pierre Boutry Gabriel Braun Julien Narboux

Published in: SCSS (2016)

Keyphrases

euclidean geometry
feature selection
image processing
bayesian networks
kernel function