Title: Self-validating numerics for function space problems
Subjects: Function spaces, Numerical analysis