scientific article; zbMATH DE number 1746052
From MaRDI portal
Publication:4532001
Recommendations
Cited in
(9)- Exact real arithmetic for interval number systems
- Arbitrary precision real arithmetic: design and algorithms
- Efficient exact computation of iterated maps
- Quantitative continuity and Computable Analysis in Coq
- The world's shortest correct exact real arithmetic program?
- The constructive reals as a Java library
- scientific article; zbMATH DE number 1746032 (Why is no real title available?)
- Exact real arithmetic using centred intervals and bounded error terms
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532001)