Verified integration of linear nth order ODEs using large steps

DOI10.1016/J.AMC.2006.08.033zbMATH Open1114.65082OpenAlexW2085058560MaRDI QIDQ876676FDOQ876676

Publication date: 26 April 2007

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

Full work available at URL: https://doi.org/10.1016/j.amc.2006.08.033

Recommendations

Verified High-Order Integration of DAEs and Higher-Order ODEs
Efficient numerical integration of \(N\)th-order non-autonomous linear differential equations
Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Verified integration of differential equations with discrete delay
Publication:4945762
Algorithmic verification of linearizability for ordinary differential equations
Step size strategies for the numerical integration of systems of differential equations
scientific article; zbMATH DE number 3954190
NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
Linear Multistep Methods for Volterra Integral and Integro-Differential Equations

error bounds numerical examples enclosure method interval analysis power series Taylor polynomial interval computations roundoff errors

Mathematics Subject Classification ID

Linear ordinary differential equations and systems (34A30) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Cites Work

ACETAF
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Derived eigenvalues of symmetric matrices, with applications to distance geometry
Rigorously computed orbits of dynamical systems without the wrapping effect
Title not available (Why is that?)
Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
Title not available (Why is that?)
Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
Validated solutions of initial value problems for ordinary differential equations
Title not available (Why is that?)
Some recent advances in validated methods for IVPs for ODEs
Title not available (Why is that?)
Title not available (Why is that?)
A note on a sum associated with the generalized hypergeometric function
Title not available (Why is that?)
Survey of integral algorithms for ordinary differential equations
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Validated bounds for Taylor coefficients of analytic functions
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
An enclosure method for the solution of linear odes with polynomial coefficients
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Numerical Software with Result Verification
Title not available (Why is that?)

Cited In (4)

Verified High-Order Integration of DAEs and Higher-Order ODEs
An enclosure method for the solution of linear odes with polynomial coefficients
Verification of the quasi-analytic solutions of ordinary differential equations using the accurate element method
A note on a sum associated with the generalized hypergeometric function

Uses Software

ACETAF
PASCAL-XSC

This page was built for publication: Verified integration of linear \(n\)th order ODEs using large steps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876676)