Cylindrical decomposition for systems transcendental in the first variable

DOI10.1016/J.JSC.2011.08.009MaRDI QIDQ650841zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

algorithmscylindrical algebraic decompositionexp-log functions

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 1157655 (Why is no real title available?)
• Computing in the field of complex algebraic numbers
• Cylindrical algebraic decomposition using validated numerics
• Deciding polynomial-exponential problems
• Generalized Budan--Fourier theorem and virtual roots
• Nonlinear control system design by quantifier elimination
• On the Lambert \(w\) function
• Real root isolation for tame elementary functions
• Robust multi-objective feedback design by quantifier elimination
• Testing stability by quantifier elimination
• Virtual roots of real polynomials

Cited in

(8)

• On proving inequalities by cylindrical algebraic decomposition
• Special algorithm for stability analysis of multistable biological regulatory systems
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Deciding first-order formulas involving univariate mixed trigonometric-polynomials
• Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
• Quantifier elimination for a class of exponential polynomial formulas
• Isolating all the real roots of a mixed trigonometric-polynomial
• 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)