Computations with effective real numbers

DOI10.1016/j.tcs.2005.09.060zbMath1086.65045OpenAlexW2083332199MaRDI QIDQ817859

Joris van der Hoeven

Publication date: 20 March 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.09.060

zbMATH Keywords

algorithmerror estimatesinterval analysiseffective real number

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Approximation algorithms (68W25) Algorithms with automatic result verification (65G20) Constructive real analysis (26E40)

Related Items

Encoding algebraic power series ⋮ Around the numeric-symbolic computation of differential Galois groups ⋮ Towards optimal use of multi-precision arithmetic: a remark

Uses Software

• gmp
• Mathemagix
• MPFR
• iRRAM
• Mmxlib

Cites Work

• Unnamed Item
• Unnamed Item
• How to recognize zero?
• Relax, but don't be too lazy
• Numerical Software with Result Verification
• Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers

This page was built for publication: Computations with effective real numbers