Self-validating numerics for function space problems : computation with guarantees for differential and integral equations - Kaucher, Edgar W. (Notes and reports in computer science and applied mathematics ;, 1984)