Verifying approximate solutions to differential equations

DOI10.1016/J.CAM.2005.03.006zbMath1077.65076OpenAlexW2131393423MaRDI QIDQ2570078

W. H. Enright

Publication date: 26 October 2005

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2005.03.006

zbMATH Keywords

numerical examplesMATLABReliabilityODEsVerificationproblem solving environmentNumerical solutionsDefect

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Complexity and performance of numerical algorithms (65Y20) Algorithms with automatic result verification (65G20)

Uses Software

• Unnamed Item
• Unnamed Item
• ode23
• ode45
• Ode15s
• ode113
• ode23s
• MATLAB ODE suite

Cites Work

• Unnamed Item
• On the estimation of errors propagated in the numerical integration of ordinary differential equations
• The MATLAB ODE Suite
• The generalized finite element method

This page was built for publication: Verifying approximate solutions to differential equations