Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition

DOI10.1006/jsco.1999.0352zbMath1005.68188OpenAlexW2022053054MaRDI QIDQ1581134

Josef Schicho, Petru Pau

Publication date: 1 March 2001

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/24365158f55e6df76252171b1a7fd8d5c533099d

zbMATH Keywords

cylindrical trigonometric decompositionquantifier elimination algorithm

Mathematics Subject Classification ID

Related Items (1)

Application of quantifier elimination to inverse buckling problems

Uses Software

• QEPCAD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantifier elimination for real algebra -- the quadratic case and beyond
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
• A cluster-based cylindrical algebraic decomposition algorithm
• On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
• Partial cylindrical algebraic decomposition for quantifier elimination
• Advances on the simplification of sine-cosine equations
• Algorithms for trigonometric curves (simplification, implicitization, parameterization)
• Nonlinear control system design by quantifier elimination
• Robust multi-objective feedback design by quantifier elimination
• Testing stability by quantifier elimination
• The exact region of stability for MacCormack scheme
• Applying Linear Quantifier Elimination
• Applying Quantifier Elimination to Stability Analysis of Difference Schemes
• Path Tracking in Motion Planning

This page was built for publication: Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition