Quantifier Elimination for Trigonometric Polynomials by...

Main
Mathematics - Computational Mathematics
Quantifier Elimination for...

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

Pau, Schicho.

0 / 0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Catégories:

Mathematics - Computational Mathematics

Année:

2000

Langue:

english

Pages:

13

Collection:

JSC

Fichier:

DJVU, 102 KB

IPFS:

,

english, 2000

Télécharger (djvu, 102 KB)

La conversion en est effectuée

La conversion en a échoué

Cela peut vous intéresser

Davenport J.H., Siret Y., Tournier E. — Computer algebra: Systems and algorithms for algebraic computation

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 5, issues 1-3 issue 1-3

Davenport J.H. — Computer algebra

Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.) — Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Gonzalez-Campos, Gonzalez-Vega — Computing the Cylindrical Algebraic Decomposition Adapted to a Set of Equalities

Hong H. — Improvement of the projection operator in cylindrical algebraic decomposition

Klueners. — Univariate and bivariate polynomial decompositions. JSC 1999

Davenport J.H. — Solving systems of polynomials: theory and practice (Calculemus slides)

Jirstrand M. — Introduction to cylindrical algebraic decomposition

Strzebonsky. — Solving systems of polynomial inequalities. JSC 2000

Wang. — Elimination method for polynomial systems

— Elimination Methods in Polynomial Computer Algebra

Denis S. Arnon, Bruno Buchberger — Algorithms in real algebraic geometry

J. H. Davenport — Computer Algebra: Systems and Algorithms for Algebraic Computation

J. H. Davenport, Y. Siret, Evelyne Tournier — Computer Algebra: Systems and Algorithms for Algebraic Computation

E. Becker, R. Neuhaus (auth.), Frédéric Eyssette, André Galligo (eds.) — Computational Algebraic Geometry

Collins, Johnson. — Quantifier elimination, sign variation, root isolation. ISSAC89

— International Symposium on Symbolic and Algebraic Computation 92: July 27-29, Berkeley California

Weispfenning. — Quantifier elimination in degree 3

Wolfgang W. Kuchlin — Issac 97: July 21-23, 1997, Maui, Hawaii, USA: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computa

Unknown — Proceedings ISSAC 2010 (Munich)

Maignan. — Solving exponential-polynomial systems of equations

— Issac 1999 Symposium

— Proceedings ISSAC (St.Andrews)

— Issac 2003: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation: August 3-6, 2003, Philadelphia,

Dongming Wang — Elimination practice: software tools and applications

Dongming Wang — Elimination Practice: Software Tools and Applications (With CD-Rom)

Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff — Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.) — Automated Practical Reasoning: Algebraic Approaches

Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) — Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V — Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Markus Rosenkranz (auth.), Bruno Buchberger, John Campbell (eds.) — Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

S. A. Abramov, M. Bronstein, D. E. Khmelnov (auth.), Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) — Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

Buchberger B., Campbell J. A. (Ed) — Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings

Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.) — Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Mots Clefs