scientific article; zbMATH DE number 1273671

MaRDI QIDQ4237405zbMATH OpenFDO

Authors Daniel C. Richardson

Publication date 26 September 1999

zbMATH Keywords

exponential polynomiallocal Sturm sequencesfalse derivativecylindrical decompositionsnon-algebraic functions

Mathematics Subject Classification ID

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

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)

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

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)