Self-Validating Numerics for Function Space Problems : Computation with Guarantees for Differential and Integral Equations 1984 · ENGLISH · DJVU View details →