scientific article; zbMATH DE number 1273671

MaRDI QIDQ4237405zbMATH OpenFDO

Authors Daniel C. Richardson

Publication date 26 September 1999

zbMATH Keywords

cylindrical decompositionsexponential polynomialfalse derivativelocal Sturm sequencesnon-algebraic functions

Mathematics Subject Classification ID

Abstract differential equations (12H20) Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15) Numerical computation of solutions to single equations (65H05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computing the topology of a bounded non algebraic curve in the plane
• Cylindrical decomposition for systems transcendental in the first variable
• scientific article; zbMATH DE number 3880114

Cited in

(12)

• Local box adjacency algorithms for cylindrical algebraic decompositions
• On symbolic-numeric solving of sine-polynomial equations.
• Enhancements to Lazard's method for cylindrical algebraic decomposition
• Positive root isolation for poly-powers by exclusion and differentiation
• Decomposing Cavities in Digital Volumes into Products of Cycles
• Quantifier elimination for a class of exponential polynomial formulas
• BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES
• Zero counting for a class of univariate Pfaffian functions
• Isolating all the real roots of a mixed trigonometric-polynomial
• On the zeros of univariate E-polynomials
• Decision problem for a class of univariate Pfaffian functions
• Cylindrical decomposition for systems transcendental in the first variable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237405)