On a New Algorithm for the Computation of Enclosures for the Titchmarsh-Weyl m-Function
arXiv:math/9801012
Abstract
The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.