Computing cylindrical algebraic decomposition via triangular decomposition.

Changbo Chen Marc Moreno Maza Bican Xia Lu Yang

Published in: ISSAC (2009)

Keyphrases

databases
data mining
genetic algorithm
three dimensional
digital libraries
multiresolution
mobile robot
subband
wavelet packet
decomposition method