Cylindrical decomposition for systems transcendental in the first variable
From MaRDI portal
Publication:650841
DOI10.1016/J.JSC.2011.08.009zbMATH Open1236.14053OpenAlexW2015314684MaRDI QIDQ650841FDOQ650841
Authors: Adam 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
Recommendations
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Partial cylindrical algebraic decomposition for quantifier elimination
- On proving inequalities by cylindrical algebraic decomposition
- scientific article; zbMATH DE number 1273671
- scientific article; zbMATH DE number 3880114
Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Real-analytic and semi-analytic sets (14P15)
Cites Work
- On the Lambert \(w\) function
- Title not available (Why is that?)
- Robust multi-objective feedback design by quantifier elimination
- Testing stability by quantifier elimination
- Cylindrical algebraic decomposition using validated numerics
- Nonlinear control system design by quantifier elimination
- Real root isolation for tame elementary functions
- Deciding polynomial-exponential problems
- Generalized Budan--Fourier theorem and virtual roots
- Computing in the field of complex algebraic numbers
- Virtual roots of real polynomials
- Title not available (Why is that?)
Cited In (8)
- On proving inequalities by cylindrical algebraic decomposition
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Isolating all the real roots of a mixed trigonometric-polynomial
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials
- Special algorithm for stability analysis of multistable biological regulatory systems
- Quantifier elimination for a class of exponential polynomial formulas
- Positive root isolation for poly-powers by exclusion and differentiation
This page was built for publication: Cylindrical decomposition for systems transcendental in the first variable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q650841)
