scientific article; zbMATH DE number 1273671

zbMATH Open0925.65091MaRDI QIDQ4237405FDOQ4237405

Authors: Daniel C. Richardson 

Publication date: 26 September 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• 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
• Decision problem for a class of univariate Pfaffian functions
• On the zeros of univariate E-polynomials
• On symbolic-numeric solving of sine-polynomial equations.
• 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
• Zero counting for a class of univariate Pfaffian functions

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)