scientific article; zbMATH DE number 1746052
From MaRDI portal
Publication:4532001
zbMath0985.65522MaRDI QIDQ4532001
Publication date: 27 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2064/20640389
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Quantitative continuity and Computable Analysis in Coq ⋮ The constructive reals as a Java library ⋮ Arbitrary precision real arithmetic: design and algorithms ⋮ Efficient exact computation of iterated maps ⋮ Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations ⋮ Exact real arithmetic using centred intervals and bounded error terms
Uses Software
This page was built for publication:
