The following pages link to Computer Interval Arithmetic: Definition and Proof of Correct Implementation (Q5626146):
Displaying 2 items.