Numerical solution of differential equations to prescribed accuracy

DOI10.1016/0898-1221(94)00195-2zbMath0814.65075OpenAlexW1995900440MaRDI QIDQ1339298

V. Pereyra

Publication date: 18 June 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(94)00195-2

zbMATH Keywords

error boundsinterval arithmeticcomputer arithmeticprescribed accuracy

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonlinear ordinary differential equations and systems (34A34) Interval and finite arithmetic (65G30) Numerical methods for initial value problems involving ordinary differential equations (65L05) Error bounds for numerical methods for ordinary differential equations (65L70)

Cites Work

• Automatic differentiation: techniques and applications
• Computer aided proofs in analysis. Based on the proceedings of an IMA participating institutions conference, held at the University of Cincinnati, OH, USA, in April 1989
• Solving Ordinary Differential Equations Using Taylor Series
• Bounding Sets in Function Spaces with Applications to Nonlinear Operator Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Numerical solution of differential equations to prescribed accuracy