Jens Hoefkens
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verified High-Order Integration of DAEs and Higher-Order ODEs Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
| Verified integration of dynamics in the solar system. Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2004-08-26 | Paper |
| Verified high-order inversion of functional dependencies and interval Newton methods Reliable Computing | 2003-08-13 | Paper |
| Computing validated solutions of implicit differential equations Advances in Computational Mathematics | 2003-05-04 | Paper |
| Controlling the wrapping effect in the solution of ODEs for asteroids Reliable Computing | 2003-04-28 | Paper |
| Verification of invertibility of complicated functions over large domains Reliable Computing | 2002-07-08 | Paper |
Research outcomes over time
This page was built for person: Jens Hoefkens
