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
exponential polynomiallocal Sturm sequencesfalse derivativecylindrical decompositionsnon-algebraic functions
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)