Real root isolation for exp-log functions

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].

Topics

    3 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)