Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

Petru Pau; Josef Schicho

doi:10.1006/jsco.1999.0352

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

Petru Pau
, Josef Schicho

Research Institute for Symbolic Computation

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	971-983
Number of pages	13
Journal	Journal of Symbolic Computation
Volume	29
Issue number	6
DOIs	https://doi.org/10.1006/jsco.1999.0352
Publication status	Published - Jun 2000

Fields of science

101 Mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1006/jsco.1999.0352

Cite this

@article{b3dfacd0ec974ba296a4c74b54fca23d,

title = "Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition",

author = "Petru Pau and Josef Schicho",

year = "2000",

month = jun,

doi = "10.1006/jsco.1999.0352",

language = "English",

volume = "29",

pages = "971--983",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

number = "6",

}

TY - JOUR

T1 - Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

AU - Pau, Petru

AU - Schicho, Josef

PY - 2000/6

Y1 - 2000/6

UR - https://www.scopus.com/pages/publications/0006495373

U2 - 10.1006/jsco.1999.0352

DO - 10.1006/jsco.1999.0352

M3 - Article

SN - 1095-855X

VL - 29

SP - 971

EP - 983

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 6

ER -

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this