Computing validated solutions of implicit differential equations
From MaRDI portal
Publication:1872003
DOI10.1023/A:1022858921155zbMATH Open1028.34004OpenAlexW127314038MaRDI QIDQ1872003FDOQ1872003
Jens Hoefkens, Kyoko Makino, Martin Berz
Publication date: 4 May 2003
Published in: Advances in Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1022858921155
Cited In (17)
- A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11
- Improved results on reachable set estimation for singularly perturbed systems with time-varying delay
- Status of the differential transformation method
- One-step 9-stage Hermite-Birkhoff-Taylor ODE solver of order 10
- A Hamilton–Jacobi theory for implicit differential systems
- One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12
- Reachability Analysis and Deterministic Global Optimization of DAE Models
- Performance of the Taylor series method for ODEs/DAEs
- Contractivity-preserving explicit Hermite-Obrechkoff ODE solver of order 13
- A new result on reachable set estimation for time‐varying delay singular systems
- Validated solutions of initial value problems for parametric ODEs
- Reachable set estimation for singular systems via state decomposition method
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- Title not available (Why is that?)
- A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14
- On reachable set estimation of singular systems
Uses Software
Recommendations
This page was built for publication: Computing validated solutions of implicit differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1872003)
