Text this: Computer-assisted existence proofs for two-point boundary value problems.