Some recent advances in validated methods for IVPs for ODEs
type: Item
instance of: scholarly article
title: Some recent advances in validated methods for IVPs for ODEs
zbMATH Open document ID: 0998.65068
DOI: 10.1016/S0168-9274(01)00155-6
author: Kenneth R. Jackson
author: Nedialko S. Nedialkov
published in: Applied Numerical Mathematics
publication date: 2002-08-22T00:00:00Z
Mathematics Subject Classification ID: 65L05
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65G40
Mathematics Subject Classification ID: 34A34
Mathematics Subject Classification ID: 65L70
Mathematics Subject Classification ID: 65L20
zbMATH DE Number: 1787736
zbMATH Keywords: error bounds
zbMATH Keywords: Hermite-Obreschkoff scheme
zbMATH Keywords: validated methods
zbMATH Keywords: interval methods
zbMATH Keywords: initial value problem
zbMATH Keywords: Taylor series
zbMATH Keywords: QR algorithm
zbMATH Keywords: wrapping effect
zbMATH Keywords: simultaneous iteration
zbMATH Keywords: stability
describes a project that uses: FADBAD++
describes a project that uses: TADIFF
MaRDI profile type: Publication
cites work: Q3345690
cites work: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
cites work: Discretization Errors for Well‐Set Cauchy Problems. I.
cites work: Q4885375
cites work: A-Stable Methods and Padé Approximations to the Exponential
cites work: Q3925093
cites work: The QR Transformation A Unitary Analogue to the LR Transformation--Part 1
cites work: Q5674306
cites work: Q5577372
cites work: Rigorously computed orbits of dynamical systems without the wrapping effect
cites work: Q5674335
cites work: Q4721493
cites work: Q5566070
cites work: Q4949367
cites work: Q2765425
cites work: Validated solutions of initial value problems for ordinary differential equations
cites work: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
cites work: Global, rigorous and realistic bounds for the solution of dissipative differential equations. I: Theory
cites work: Q5514782
cites work: On a class of enclosure methods for initial value problems
cites work: Q4284598
cites work: A heuristic to reduce the wrapping effect in the numerical solution ofx′=f(t,x)
cites work: On Higher Order Stable Implicit Methods for Solving Parabolic Partial Differential Equations
cites work: Q4134855
cites work: Understanding the $QR$ Algorithm
full work available at URL: s0168-9274(01)00155-6
OpenAlex ID: W2059261580
Recommended article: On some boundary value methods for stiff IVPs in ODEs
Recommended article: Q5860399
Recommended article: The Convergence of Integrand-Approximation Formulas for the Numerical Solution of IVP<scp>s</scp> for ODE<scp>s</scp>
Recommended article: Recent advances in methods for numerical solution of O.D.E. initial value problems
Recommended article: A new algorithm for solving higher order IVPs of ODEs
Recommended article: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
Recommended article: Some General Linear Methods for the Numerical Solution of Non-Stiff IVPs in ODEs
Recommended article: A new view of the computational complexity of IVP for ODE
Recommended article: A Class of Methods with Optimal Stability Properties for the Numerical Solution of IVPs: Construction and Implementation
Recommended article: A survey of numerical methods for IVPs of ODEs with discontinuous right-hand side
description: scientific article; zbMATH DE number 1787736