45 citations · 101 across the 9 of their papers we have counts for
1 paper · 1 filter
Xuan Tang, Zachary Ferguson, Teseo Schneider +3
Interval computation is widely used to certify computations that use floating point operations to avoid pitfalls related to rounding error introduced by inaccurate operations. Desp…