Rump's example revisited

DOI10.1023/A:1015569431383zbMath1001.65043MaRDI QIDQ1611218

G. William Walster, Eugene Loh

Publication date: 21 August 2002

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

zbMATH Keywords

interval arithmeticroundoff errorreliable computation

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Roundoff error (65G50)

Related Items (3)

Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? ⋮ A computer assisted proof of the symmetries of least energy nodal solutions on squares ⋮ Precise numerical computation

This page was built for publication: Rump's example revisited