Computations with effective real numbers
type: Item
instance of: scholarly article
title: Computations with effective real numbers
zbMATH Open document ID: 1086.65045
author: Joris van der Hoeven
published in: Theoretical Computer Science
publication date: 2006-03-20T00:00:00Z
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65G40
Mathematics Subject Classification ID: 26E40
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68W25
zbMATH DE Number: 5013349
zbMATH Keywords: effective real number
zbMATH Keywords: algorithm
zbMATH Keywords: interval analysis
zbMATH Keywords: error estimates
describes a project that uses: gmp
describes a project that uses: MPFR
describes a project that uses: Mathemagix
describes a project that uses: iRRAM
describes a project that uses: Mmxlib
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.09.060
OpenAlex ID: W2083332199
cites work: Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers
cites work: Numerical Software with Result Verification
cites work: Q4342498
cites work: Q4226932
cites work: Relax, but don't be too lazy
cites work: How to recognize zero?
DOI: 10.1016/J.TCS.2005.09.060
Recommended article: Q4425674
Recommended article: Q3184782
Recommended article: Q4938618
Recommended article: Real computations with fake numbers
Recommended article: Lazy computation with exact real numbers
Recommended article: Towards Using Exact Real Arithmetic for Initial Value Problems
Recommended article: Q4222971
Recommended article: Q4938619
Recommended article: Real number computations: On the use of information
description: scientific article; zbMATH DE number 5013349