From Tarski to Hilbert.

Gabriel Braun Julien Narboux

Published in: Automated Deduction in Geometry (2012)

Keyphrases

clifford algebra
computer vision
multimedia
low cost
medical images
image compression
connected components
hilbert curve