Computer aided proofs in analysis. - Springer Verlag, 1991. - ( Institute for mathematics and its applications - IMA Volumes ; 28).