Verified Quadrature in Determining Newton's Constant of Gravitation
Дата
Авторы
Lang,Bruno
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
This paper describes the use of interval arithmetic to bound errors in an experiment for determining Newton's constant of gravitation. Using verified Gaussian quadrature we were able to assess the numerical errors as well as the effect of several tolerances in the physical experiment.
Ключевые слова
Constant of gravitation , Gaussian quadrature , validated numerics