Cylindrical decomposition for systems transcendental in the first variable
From MaRDI portal
Publication:650841
DOI10.1016/j.jsc.2011.08.009zbMath1236.14053MaRDI QIDQ650841
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
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