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)

• Cylindrical decomposition for systems transcendental in the first variable
• Decomposing Cavities in Digital Volumes into Products of Cycles
• Decision problem for a class of univariate Pfaffian functions
• BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES
• On the zeros of univariate E-polynomials
• Local box adjacency algorithms for cylindrical algebraic decompositions
• On symbolic-numeric solving of sine-polynomial equations.
• Zero counting for a class of univariate Pfaffian functions
• Enhancements to Lazard's method for cylindrical algebraic decomposition
• 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:

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