Электронная книга

Self-Validating Numerics for Function Space Problems: Computation with Guarantees for Differential and Integral Equations