Definition of Logarithm and Exponential functions
ln_exp -- Foundational definitions
ln_exp_ax -- Axiomatic version (created from ln_exp)
ln_exp_series -- Representation as infinite series
hyperbolic -- e.g. sinh cosh functions
Return to Parent Page