Verification of invertibility of complicated functions over large domains

DOI10.1023/A:1014789619479zbMath1056.65048OpenAlexW2121273148MaRDI QIDQ1604712

Martin Berz, Jens Hoefkens

Publication date: 8 July 2002

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014789619479

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Numerical methods for differential-algebraic equations (65L80)

Related Items (2)

Verified High-Order Integration of DAEs and Higher-Order ODEs ⋮ Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY

This page was built for publication: Verification of invertibility of complicated functions over large domains