Real root isolation for tame elementary functions
From MaRDI portal
Publication:2883838
DOI10.1145/1576702.1576749zbMath1237.33015OpenAlexW2007454673MaRDI QIDQ2883838
Publication date: 13 May 2012
Published in: Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1576702.1576749
Symbolic computation and algebraic computation (68W30) Elementary functions (26A09) Numerical approximation and evaluation of special functions (33F05)
Related Items (10)
Certified numerical real root isolation for bivariate nonlinear systems ⋮ A symbolic-numerical algorithm for isolating real roots of certain radical expressions ⋮ Positive root isolation for poly-powers by exclusion and differentiation ⋮ Isolating all the real roots of a mixed trigonometric-polynomial ⋮ Deciding first-order formulas involving univariate mixed trigonometric-polynomials ⋮ Cylindrical decomposition for systems transcendental in the first variable ⋮ Deciding polynomial-transcendental problems ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ A conflict-driven solving procedure for poly-power constraints ⋮ NIL: learning nonlinear interpolants
This page was built for publication: Real root isolation for tame elementary functions
