Cylindrical decomposition for systems transcendental in the first variable

DOI10.1016/j.jsc.2011.08.009zbMath1236.14053OpenAlexW2015314684MaRDI 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

algorithmscylindrical algebraic decompositionexp-log functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Real-analytic and semi-analytic sets (14P15) Computational aspects in algebraic geometry (14Q99)

Related Items (7)

Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) ⋮ Positive root isolation for poly-powers by exclusion and differentiation ⋮ 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

Cites Work

• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Cylindrical decomposition for systems transcendental in the first variable