1. Optimal L∞ error estimates for Galerkin approximations to solutions of two-point boundary value problems;Douglas;Math. Comp.,1975
2. Self-Validating Numerics for Function Space Problems;Kaucher,1984
3. A posteriori error bounds for two-point boundary value problems;Kedem;SIAM J. Numer. Anal.,1981
4. Enclosing the solutions of ordinary initial and boundary value problems;Lohner,1987
5. Einschliessung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen;Lohner,1988