Petru Pau, Josef Schicho,
"Quantifier elimination for trigonometric polynomials"
, in Journal of Symbolic Computation, Vol. 29, Nummer 6, Seite(n) 971-983, 6-2000, ISSN: 1095-855X, P.Pau and J. Schicho. J. Symb. Comp. 29(6):971-983, June 2000
Original Titel:
Quantifier elimination for trigonometric polynomials
Sprache des Titels:
Englisch
Journal:
Journal of Symbolic Computation
Volume:
29
Number:
6
Seitenreferenz:
971-983
Erscheinungsmonat:
6
Erscheinungsjahr:
2000
Notiz zum Zitat:
P.Pau and J. Schicho. J. Symb. Comp. 29(6):971-983, June 2000