𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Alternating trigonometric polynomials

✍ Scribed by L. Brutman

Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
483 KB
Volume
49
Category
Article
ISSN
0021-9045

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantifier Elimination for Trigonometric
Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition
✍ Petru Pau; Josef Schicho πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 320 KB

Given a formula Ξ¦ in r variables, some of them quantified and/or occurring as arguments in trigonometric functions, we consider in this paper the problem of finding a quantifierfree formula equivalent to Ξ¦. We present an algorithm that first computes a decomposition of the space so that the polynom