Verified integration of linear nth order ODEs using large steps
From MaRDI portal
(Redirected from Publication:876676)
Verified integration of linear \(n\)th order ODEs using large steps
Verified integration of linear \(n\)th order ODEs using large steps
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
Cites work
- scientific article; zbMATH DE number 1639665 (Why is no real title available?)
- scientific article; zbMATH DE number 1694759 (Why is no real title available?)
- scientific article; zbMATH DE number 434853 (Why is no real title available?)
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 4084894 (Why is no real title available?)
- scientific article; zbMATH DE number 3658896 (Why is no real title available?)
- scientific article; zbMATH DE number 3686799 (Why is no real title available?)
- scientific article; zbMATH DE number 3738830 (Why is no real title available?)
- scientific article; zbMATH DE number 3766957 (Why is no real title available?)
- scientific article; zbMATH DE number 48198 (Why is no real title available?)
- scientific article; zbMATH DE number 52928 (Why is no real title available?)
- scientific article; zbMATH DE number 177015 (Why is no real title available?)
- scientific article; zbMATH DE number 1056959 (Why is no real title available?)
- scientific article; zbMATH DE number 1543282 (Why is no real title available?)
- scientific article; zbMATH DE number 3994869 (Why is no real title available?)
- scientific article; zbMATH DE number 815437 (Why is no real title available?)
- scientific article; zbMATH DE number 852356 (Why is no real title available?)
- scientific article; zbMATH DE number 878933 (Why is no real title available?)
- scientific article; zbMATH DE number 1456803 (Why is no real title available?)
- scientific article; zbMATH DE number 3273551 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3292104 (Why is no real title available?)
- scientific article; zbMATH DE number 3321654 (Why is no real title available?)
- scientific article; zbMATH DE number 3321655 (Why is no real title available?)
- A note on a sum associated with the generalized hypergeometric function
- ACETAF
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- An enclosure method for the solution of linear odes with polynomial coefficients
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Numerical Software with Result Verification
- Rigorously computed orbits of dynamical systems without the wrapping effect
- Some recent advances in validated methods for IVPs for ODEs
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Survey of integral algorithms for ordinary differential equations
- Validated bounds for Taylor coefficients of analytic functions
- Validated solutions of initial value problems for ordinary differential equations
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Cited in
(5)- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- 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
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)
