The following pages link to Rump's example revisited (Q1611218):
Displaying 5 items.
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Precise numerical computation (Q1779570) (← links)
- On recurrences converging to the wrong limit in finite precision and some new examples (Q2203376) (← links)
- A computer assisted proof of the symmetries of least energy nodal solutions on squares (Q5074280) (← links)
- A remarkable example of catastrophic cancellation unraveled (Q5943903) (← links)