A constructive version of Tarski's geometry.

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

three dimensional
real world
wide range
similarity measure
multiscale
viewpoint
databases
data mining
image sequences
data structure
relational databases
geometric structure
original version