A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
DOI10.1007/s11075-008-9180-0zbMath1147.65057OpenAlexW2014759361MaRDI QIDQ2483052
Publication date: 5 May 2008
Published in: Numerical Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11075-008-9180-0
Ordinary differential equations with impulses (34A37) Numerical methods for initial value problems involving ordinary differential equations (65L05) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06) Error bounds for numerical methods for ordinary differential equations (65L70) Algorithms with automatic result verification (65G20)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interval extensions and interval iterations
- Rigorous global search: continuous problems
- A verification method for solutions of nonsmooth equations
- Numerical validation of solutions of complementarity problems: the nonlinear case
- Inexact Simplified Newton Iterations for Implicit Runge-Kutta Methods
- Implicit Runge–Kutta Methods for Lipschitz Continuous Ordinary Differential Equations
- Interval Slopes for Rational Functions and Associated Centered Forms
- Optimization and nonsmooth analysis
- Efficiently Implementable Algebraically Stable Runge–Kutta Methods
- Interval Methods for Systems of Equations
- A Test for Existence of Solutions to Nonlinear Systems
- Smoothing Methods and Semismooth Methods for Nondifferentiable Operator Equations
- Expansion and estimation of the range of nonlinear functions
- Large-Amplitude Periodic Oscillations in Suspension Bridges: Some New Connections with Nonlinear Analysis
This page was built for publication: A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
