Real root isolation for exp-log functions

MaRDI QIDQ5301637zbMATH OpenFDO

Authors Adam Strzeboński

Publication date 20 January 2009

Mathematics Subject Classification ID

Numerical computation of solutions to single equations (65H05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Real root isolation for exp-log-arctan functions
• Real root isolation for tame elementary functions
• Univariate real root isolation in multiple extension fields
• Positive root isolation for poly-powers
• Univariate real root isolation over a single logarithmic extension of real algebraic numbers

Cited in

(16)

• Certified numerical real root isolation for bivariate nonlinear systems
• Logcf: an efficient tool for real root isolation
• A conflict-driven solving procedure for poly-power constraints
• NIL: learning nonlinear interpolants
• Positive root isolation for poly-powers by exclusion and differentiation
• Real root isolation for tame elementary functions
• Positive root isolation for poly-powers
• scientific article; zbMATH DE number 16661 (Why is no real title available?)
• Quantifier elimination for a class of exponential polynomial formulas
• Algorithmic global criteria for excluding oscillations
• Isolating all the real roots of a mixed trigonometric-polynomial
• Deciding first-order formulas involving univariate mixed trigonometric-polynomials
• A probabilistic logic for verifying continuous-time Markov chains
• Deciding polynomial-transcendental problems
• 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 exp-log functions

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