Ejemplares similares: Computer-assisted existence proofs for two-point boundary value problems.