On a New Algorithm for the Computation of Enclosures for the   Titchmarsh-Weyl m-Function
  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. 
B.M. Brown, M.S.P. Eastham, D.K.R. McCormack, M. Plum