Verified high-order inversion of functional dependencies and interval Newton methods

DOI10.1023/A:1011423909873zbMath1016.65030OpenAlexW31294369MaRDI QIDQ5955427

Jens Hoefkens, Martin Berz

Publication date: 13 August 2003

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

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

zbMATH Keywords

convergencenumerical examplesdifferential algebraic equationsresult verificationinterval Newton methodinverse functionsTaylor model methodsverified enclosures

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Related Items (7)

Verified High-Order Integration of DAEs and Higher-Order ODEs ⋮ Gravity assist space pruning based on differential algebra ⋮ Status of the differential transformation method ⋮ Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations ⋮ Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY ⋮ An improved interval global optimization algorithm using higher-order inclusion function forms ⋮ Motivations for an arbitrary precision interval arithmetic and the MPFI library

This page was built for publication: Verified high-order inversion of functional dependencies and interval Newton methods