Arbitrary precision real arithmetic: design and algorithms
type: Item
instance of: scholarly article
title: Arbitrary precision real arithmetic: design and algorithms
zbMATH Open document ID: 1080.03042
author: Valérie Ménissier-Morain
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-06-01T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 65G99
zbMATH DE Number: 2173290
zbMATH Keywords: \(B\)-adic numbers
describes a project that uses: MPFR
describes a project that uses: BIGNUM
describes a project that uses: iRRAM
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.07.003
OpenAlex ID: W2052324986
cites work: Q3994368
cites work: Fast Multiple-Precision Evaluation of Elementary Functions
cites work: Computing with infinite objects
cites work: Q4048487
cites work: Q3140942
cites work: Q4222886
cites work: Lazy computation with exact real numbers
cites work: Contractivity of linear fractional transformations
cites work: Q2738484
cites work: Using PVS to validate the algorithms of an exact arithmetic.
cites work: Q4531992
cites work: Feasible real random access machines
cites work: Q4532001
cites work: Q4531979
DOI: 10.1016/J.JLAP.2004.07.003
Recommended article: A review note on arbitrary precision arithmetic
Recommended article: A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
Recommended article: Lazy algorithms for exact real arithmetic
Recommended article: Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
Recommended article: Q3716212
Recommended article: Exact real arithmetic for interval number systems
Recommended article: Efficient Exact Arithmetic over Constructive Reals
Recommended article: Q4517294
Recommended article: Q4531979
description: scientific article; zbMATH DE number 2173290