184 citations · 401 across the 24 of their papers we have counts for
1 paper · 2 filters
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…