Newton's constant of gravitation and verified numerical quadrature

摘要

In this paper we describe the use of interval arithmetic in an experiment for determiningG, Newton's constant of gravitation. Using an interval version of Gaussian quadrature, we bound the effects of numerical errors and of several tolerances in the physical experiment. This allowed to identify “critical” tolerances which must be reduced in order to obtainGwith the desired accur