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