Sterbenz’s Lemma: If your floating point system has denormals, and if \(x,y\) are non-negative, finite floating point numbers such that...
Posted by Beetle B. on Wed 20 March 2019