"Quantifier elimination and CAD for trigonometric polynomials" - читать интересную книгу автора (Pau, Schicho.)