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

Isolating all the real roots of a mixed trigonometric-polynomial, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Quantifier elimination for a class of exponential polynomial formulas, Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants, 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