Arbitrary precision real arithmetic: design and algorithms

DOI10.1016/j.jlap.2004.07.003zbMath1080.03042OpenAlexW2052324986MaRDI QIDQ1779562

Valérie Ménissier-Morain

Publication date: 1 June 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.07.003

zbMATH Keywords

\(B\)-adic numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Error analysis and interval analysis (65G99)

Related Items (max. 100)

Mathematical model and implementation of rational processing ⋮ Recursive solution of initial value problems with temporal discretization ⋮ Exact real arithmetic using centred intervals and bounded error terms ⋮ Contractivity of linear fractional transformations ⋮ Some representations of real numbers using integer sequences

Uses Software

• MPFR
• iRRAM
• BIGNUM

Cites Work

• Computing with infinite objects
• Feasible real random access machines
• Contractivity of linear fractional transformations
• Using PVS to validate the algorithms of an exact arithmetic.
• Fast Multiple-Precision Evaluation of Elementary Functions
• Lazy computation with exact real numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Arbitrary precision real arithmetic: design and algorithms