Efficient and accurate computation of upper bounds of approximation errors

Sylvain Chevillard, J. Harrison, Mioara Joldes, Christoph Quirin Lauter. Efficient and accurate computation of upper bounds of approximation errors. Theoretical Computer Science, 412(16):1523-1543, 2011. [doi]

Abstract

Abstract is missing.