Real root isolation for tame elementary functions
From MaRDI portal
Publication:2883838
DOI10.1145/1576702.1576749zbMath1237.33015MaRDI 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
68W30: Symbolic computation and algebraic computation
26A09: Elementary functions
33F05: Numerical approximation and evaluation of special functions
Related Items
Isolating all the real roots of a mixed trigonometric-polynomial, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Quantifier elimination for a class of exponential polynomial formulas, Cylindrical decomposition for systems transcendental in the first variable, Deciding polynomial-transcendental problems, Certified numerical real root isolation for bivariate nonlinear systems, A conflict-driven solving procedure for poly-power constraints, NIL: learning nonlinear interpolants, Positive root isolation for poly-powers by exclusion and differentiation, A symbolic-numerical algorithm for isolating real roots of certain radical expressions