Simplification of Cylindrical Algebraic Formulas.

Changbo Chen Marc Moreno Maza

Published in: CASC (2015)

Keyphrases

multiresolution
higher order
algebraic expressions
mathematical formulas
database
neural network
information systems
preprocessing
panoramic images
real time
data mining
social networks
case study
search space