Abstract
We present a real root isolation procedure for univariate functions obtained by composition and rational operations from exp, log, and real constants. We discuss implementation of the procedure and give empirical results. The procedure requires the ability to determine signs of exp-log functions at simple roots of other exp-log functions. The currently known method to do this depends on Schanuel's conjecture [6].
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call