TY  - RPRT
TI  - The evaluation of geometric queries: constraint databases and quantifier elimination
AU  - Marc Giusti
AU  - Joos Heintz
AU  - Bart Kuijpers
PY  - 2011
UR  - https://arxiv.org/abs/1110.2196
ID  - 1110.2196
ER  -