Skip to Main content Skip to Navigation
Reports

Arbitrary precision real arithmetic: design and algorithms

Valérie Ménissier-Morain 1
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : We describe here a representation of computable real numbers and a set of algorithms for the elementary functions associated to this representation. A real number is represented as a sequence of finite $B$-adic numbers and for each classical function (rational, algebraic or transcendental), we describe how to produce a sequence representing the result of the application of this function to its arguments, according to the sequences representing these arguments. For each algorithm we prove that the resulting sequence is a valid representation of the exact real result. This arithmetic is the first abritrary precision real arithmetic with mathematically proved algorithms.
Document type :
Reports
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02545650
Contributor : Lip6 Publications <>
Submitted on : Friday, April 17, 2020 - 11:44:39 AM
Last modification on : Tuesday, April 21, 2020 - 1:53:26 AM

File

lip6.2003.003.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02545650, version 1

Citation

Valérie Ménissier-Morain. Arbitrary precision real arithmetic: design and algorithms. [Research Report] lip6.2003.003, LIP6. 2003. ⟨hal-02545650⟩

Share

Metrics

Record views

18

Files downloads

50