Real root isolation for tame elementary functions

DOI10.1145/1576702.1576749zbMath1237.33015OpenAlexW2007454673MaRDI QIDQ2883838

Adam Wojciech Strzeboński

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

Mathematics Subject Classification ID

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