Tight Certification Techniques for Digit-by-Rounding Algorithms with Application to a New 1/sqrt(x) Design.
Ping Tak Peter Tang, J. Adam Butts, Ron O. Dror, David E. Shaw
VenueCARITH
Year2011
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/TangBDS10 ↗
Browse the full ARITH paper archive.