Symbolic computation of local truncation error for approximate B-series-based validated simulation

DOI10.1007/978-3-031-85288-6_4MaRDI QIDQ6863214zbMATH OpenFDO

Authors Julien Alexandre dit Sandretto

Publication date 6 February 2026

Full work available at URL https://doi.org/10.1007/978-3-031-85288-6_4

zbMATH Keywords

B-seriesordinary differential equationsset-membership methods

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06)

Cites work

• Algebraic structures of B-series
• Coefficients for the study of Runge-Kutta integration processes
• Computing of B-series by automatic differentiation
• From Runge-Kutta methods to Hopf algebras of rooted trees
• Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
• Geometric Numerical Integration
• Graph Theory and Probability
• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 177015 (Why is no real title available?)
• scientific article; zbMATH DE number 1408651 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• Implicit interval methods for solving the initial value problem
• Introduction to Interval Analysis
• Lie-Butcher theory for Runge-Kutta methods
• On the Butcher group and general multi-value methods
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• The number of conditions for a Runge-Kutta method to have effective order \(p\)
• Trees and B-series
• Two interacting Hopf algebras of trees: a Hopf-algebraic approach to composition and substitution of B-series.
• Validated B-series and Runge-Kutta pairs
• Validated solutions of initial value problems for ordinary differential equations
• Validated solutions of initial value problems for parametric ODEs

This page was built for publication: Symbolic computation of local truncation error for approximate B-series-based validated simulation

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