Jens Hoefkens

Available identifiers

zbMath Open hoefkens.jensMaRDI QIDQ229305

List of research outcomes

Publication	Date of Publication	Type
Verified High-Order Integration of DAEs and Higher-Order ODEs	2018-07-16	Paper
Verified integration of dynamics in the solar system.	2004-08-26	Paper
Verified high-order inversion of functional dependencies and interval Newton methods	2003-08-13	Paper
Computing validated solutions of implicit differential equations	2003-05-04	Paper
Controlling the wrapping effect in the solution of ODEs for asteroids	2003-04-28	Paper
Verification of invertibility of complicated functions over large domains	2002-07-08	Paper

Research outcomes over time

This page was built for person: Jens Hoefkens