Newton’s constant of gravitation and verified numerical quadrature, Reliable Computing 2 (1996)

by O Holzmann, B Lang, H Schüutt