Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition.

Petru Pau Josef Schicho

Published in: J. Symb. Comput. (2000)

Keyphrases

quantifier elimination
basis functions
functional programming
constraint propagation
constraint databases
presburger arithmetic
computational complexity
first order logic
cardinality constraints
programming language