scientific article; zbMATH DE number 1273671
From MaRDI portal
Publication:4237405
zbMath0925.65091MaRDI QIDQ4237405
Publication date: 26 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Numerical computation of solutions to single equations (65H05) Abstract differential equations (12H20)
Related Items (8)
Positive root isolation for poly-powers by exclusion and differentiation ⋮ 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 ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ On symbolic-numeric solving of sine-polynomial equations. ⋮ Zero counting for a class of univariate Pfaffian functions ⋮ BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES
This page was built for publication:
