Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819...

Guillaume Melquiond 1, 2 W. Georg Nowak 3 Paul Zimmermann 4
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
4 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : We prove that the constant studied by Masser, Gramain, and Weber, satisfies 1.819776 < delta < 1.819833, and disprove a conjecture of Gramain. This constant is a two-dimensional analogue of the Euler-Mascheroni constant; it is obtained by computing the radius rk of the smallest disk of the plane containing k Gaussian integers. While we have used the original algorithm for smaller values of k, the bounds above come from methods we developed to obtain guaranteed enclosures for larger values of k.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-00644166
Contributor : Paul Zimmermann <>
Submitted on : Wednesday, November 23, 2011 - 5:11:18 PM
Last modification on : Thursday, October 3, 2019 - 2:04:03 PM

Links full text

Identifiers

Citation

Guillaume Melquiond, W. Georg Nowak, Paul Zimmermann. Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819.... Mathematics of Computation, American Mathematical Society, 2013, 82, pp.1235-1246. ⟨10.1090/S0025-5718-2012-02635-4⟩. ⟨hal-00644166⟩

Share

Metrics

Record views

698