Cylindrical Algebraic Decomposition in the RegularChains Library.

Changbo Chen Marc Moreno Maza

Published in: ICMS (2014)

Keyphrases

decomposition method
higher order
hierarchical decomposition
database
information systems
wide range
wavelet packet
data mining
artificial intelligence
computer vision
web services
decomposition algorithm