167 citations · 176 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.NA2021
An Interval Arithmetic for Robust Error Estimation
Oliver Flatt, Pavel Panchekha
Interval arithmetic is a simple way to compute a mathematical expression to an arbitrary accuracy, widely used for verifying floating-point computations. Yet this simplicity belies…
cs.MS2021
Faster Math Functions, Soundly
Ian Briggs, Pavel Panchekha
Standard library implementations of functions like sin and exp optimize for accuracy, not speed, because they are intended for general-purpose use. But applications tolerate inaccu…