Integer points close to a transcendental curve and correctly-rounded evaluation of a function - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2023

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

Abstract

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-V4.pdf (864.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and 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)

Identifiers

  • HAL Id : hal-03240179 , version 4

Cite

Nicolas Brisebarre, Guillaume Hanrot. Integer points close to a transcendental curve and correctly-rounded evaluation of a function. 2023. ⟨hal-03240179v4⟩
520 View
212 Download

Share

Gmail Facebook X LinkedIn More