Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Changbo Chen Marc Moreno Maza Bican Xia Lu Yang

Published in: CoRR (2009)

Keyphrases

decomposition method
machine learning
efficient computation
database
real time
databases
video sequences
preprocessing