Computer-assisted existence proofs for two-point boundary value problems

• Authors:

• M. Plum

• Affiliations:

• -

• Venue:
• Computing - Special issue on archives for informatics and numerical computation
• Year:
• 1991