Tag: Edgar W. Kaucher

Self-Validating Numerics for Function Space Problems: Computation with Guarantees for Differential and Integral Equations (Notes and reports in computer science and applied mathematics) by...