Describir: Self-validating numerics for function space problems :