A generic projection operator for partial cylindrical algebraic decomposition.

Andreas Seidl Thomas Sturm

Published in: ISSAC (2003)

Keyphrases

projection operator
domain specific
real time
genetic algorithm
higher order
hierarchical decomposition
difference equations
data sets
multiscale
decomposition method
decomposition algorithm
decomposition methods