Petru Pau, Josef Schicho. Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition. Journal of Symbolic Computation, 29(6):971-983, 2000.
No references recorded for this publication.
No citations of this publication recorded.