Pages that link to "Item:Q4685566"
From MaRDI portal
The following pages link to Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation (Q4685566):
Displaying 9 items.
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- A theoretical proof of the invalidity of dynamic relaxation arc-length method for snap-back problems (Q2115579) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers (Q5886342) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
- Phase error analysis of implicit Runge-Kutta methods: new classes of minimal dissipation low dispersion high order schemes (Q6159252) (← links)
- Validated B-series and Runge-Kutta pairs (Q6559441) (← links)
