Self-validating numerics for function space problems: Computation with guarantees for differential and integral equations (Notes and reports in computer science and applied mathematics)

Written by Edgar W. Kaucher