Petru Pau, Josef Schicho. Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition. Journal of Symbolic Computation, 29(6):971-983, 2000.
@article{PauS00, title = {Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition}, author = {Petru Pau and Josef Schicho}, year = {2000}, researchr = {https://researchr.org/publication/PauS00}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {29}, number = {6}, pages = {971-983}, }