Cylindrical decomposition for systems transcendental in the first variable

DOI10.1016/j.jsc.2011.08.009zbMath1236.14053MaRDI QIDQ650841

Adam Wojciech Strzeboński

Publication date: 7 December 2011

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

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.08.009

zbMATH Keywords

algorithms; cylindrical algebraic decomposition; exp-log functions

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

14P15: Real-analytic and semi-analytic sets

14Q99: Computational aspects in algebraic geometry

Related Items

Quantifier elimination for a class of exponential polynomial formulas, Special algorithm for stability analysis of multistable biological regulatory systems, Positive root isolation for poly-powers by exclusion and differentiation, Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)

Cites Work

• Unnamed Item
• Unnamed Item
• Nonlinear control system design by quantifier elimination
• Robust multi-objective feedback design by quantifier elimination
• Testing stability by quantifier elimination
• Virtual roots of real polynomials
• Computing in the field of complex algebraic numbers
• On the Lambert \(w\) function
• Generalized Budan--Fourier theorem and virtual roots
• Cylindrical algebraic decomposition using validated numerics
• Real root isolation for tame elementary functions
• Deciding polynomial-exponential problems