A constructive formalisation of Semi-algebraic sets and functions.

Published in: CPP (2018)

Keyphrases

semi algebraic
spatial databases
arbitrary dimension
formal analysis
feature extraction
database
data structure
image classification
range queries
r tree