Self-validating numerics for function space problems computation with guarantees for differential and integral equations
Kaucher, Edgar W.
Miranker, Willard L.
Orlando London Academic
1984
Function spaces.