Verified sharp bounds for the real gamma function over the entire floating-point range Rump, Siegfried M. 2014 - TUHH Open Research
Improved backward error bounds for LU and Cholesky factorizations Rump, Siegfried M. Jeannerod, Claude Pierre 2014 - TUHH Open Research