Integer points close to a transcendental curve and correctly-rounded evaluation of a function - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

Integer points close to a transcendental curve and correctly-rounded evaluation of a function

Résumé

Despite several significant advances over the last 30 years, guaranteeing the correctly rounded evaluation of elementary functions, such as $\cos, \exp, \sqrt[3]{\cdot}$ for instance, is still a difficult issue. This can be formulated as a Diophantine approximation problem, called the Table Maker’s Dilemma, which consists in determining points with integer coordinates that are close to a curve. In this article, we propose two algorithmic approaches to tackle this problem, closely related to a celebrated work by Bombieri and Pila and to the so-called Coppersmith's method. We establish the underlying theoretical foundations, prove the algorithms, study their complexity and present practical experiments; we also compare our approach with previously existing ones. In particular, our results show that the development of a correctly rounded mathematical library for the binary128 format is now possible at a much smaller cost than with previously existing approaches.
Fichier principal
Vignette du fichier
tmd-hal-V3.pdf (856.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03240179 , version 1 (28-05-2021)
hal-03240179 , version 2 (21-09-2021)
hal-03240179 , version 3 (11-11-2021)
hal-03240179 , version 4 (21-02-2023)

Identifiants

  • HAL Id : hal-03240179 , version 3

Citer

Nicolas Brisebarre, Guillaume Hanrot. Integer points close to a transcendental curve and correctly-rounded evaluation of a function. 2021. ⟨hal-03240179v3⟩
512 Consultations
209 Téléchargements

Partager

Gmail Facebook X LinkedIn More