Real root isolation for exp-log functions

zbMATH Open1236.65057MaRDI QIDQ5301637FDOQ5301637

Authors: Adam Strzeboński 

Publication date: 20 January 2009

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

Mathematics Subject Classification ID

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

Cited In (14)

• Logcf: an efficient tool for real root isolation
• Real root isolation for tame elementary functions
• Isolating all the real roots of a mixed trigonometric-polynomial
• NIL: learning nonlinear interpolants
• Deciding first-order formulas involving univariate mixed trigonometric-polynomials
• Title not available (Why is that?)
• Certified numerical real root isolation for bivariate nonlinear systems
• Algorithmic global criteria for excluding oscillations
• Quantifier elimination for a class of exponential polynomial formulas
• Real root isolation for exp-log-arctan functions
• Deciding polynomial-transcendental problems
• A conflict-driven solving procedure for poly-power constraints
• Positive root isolation for poly-powers by exclusion and differentiation
• A probabilistic logic for verifying continuous-time Markov chains

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)