Computing validated solutions of implicit differential equations
From MaRDI portal
Publication:1872003
DOI10.1023/A:1022858921155zbMath1028.34004OpenAlexW127314038MaRDI QIDQ1872003
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
Related Items
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, A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14, A new result on reachable set estimation for time‐varying delay singular systems, Improved results on reachable set estimation for singularly perturbed systems with time-varying delay, Reachable set estimation for singular systems via state decomposition method, A Hamilton–Jacobi theory for implicit differential systems, Status of the differential transformation method, Contractivity-preserving explicit Hermite-Obrechkoff ODE solver of order 13, A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11, Performance of the Taylor series method for ODEs/DAEs, Reachability Analysis and Deterministic Global Optimization of DAE Models, One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12, One-step 9-stage Hermite-Birkhoff-Taylor ODE solver of order 10, On reachable set estimation of singular systems
Uses Software
