Johann Schröder. Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems. In Christian Ullrich, editor, Computer Arithmetic and Self-Validating Numerical Methods. Volume 7 of Notes and reports in mathematics in science and engineering, pages 247-268, Academic Press, 1990. [doi]
Abstract is missing.