Real root isolation for tame elementary functions

DOI10.1145/1576702.1576749MaRDI QIDQ2883838zbMATH OpenOpenAlexFDO

Authors Adam 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

Elementary functions (26A09) Numerical approximation and evaluation of special functions (33F05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Real root isolation for exp-log functions
• Real root isolation for exp-log-arctan functions
• Positive root isolation for poly-powers by exclusion and differentiation
• Positive root isolation for poly-powers
• Univariate real root isolation over a single logarithmic extension of real algebraic numbers

Cited in

(17)

• 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
• scientific article; zbMATH DE number 5524453 (Why is no real title available?)
• Quantifier elimination for a class of exponential polynomial formulas
• scientific article; zbMATH DE number 5019917 (Why is no real title available?)
• Real root isolation for exp-log functions
• 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
• A probabilistic logic for verifying continuous-time Markov chains
• Deciding polynomial-transcendental problems
• Satisfiability of non-linear transcendental arithmetic as a certificate search problem
• Reduction of transcendental decision problems over the reals
• Real root isolation for exp-log-arctan functions

This page was built for publication: Real root isolation for tame elementary functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883838)