Quantifier elimination for trigonometric polynomials

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

@article{b3dfacd0ec974ba296a4c74b54fca23d,

title = "Quantifier elimination for trigonometric polynomials",

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",

}