Integer points close to a transcendental curve and correctly-rounded evaluation of a function - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

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

Nicolas Brisebarre

#### 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.

### 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 3

### Cite

Nicolas Brisebarre, Guillaume Hanrot. Integer points close to a transcendental curve and correctly-rounded evaluation of a function. 2021. ⟨hal-03240179v3⟩

### Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite
265 View
124 Download

### Share

Gmail Facebook Twitter LinkedIn More