scientific article; zbMATH DE number 1231646
From MaRDI portal
Publication:4222971
Recommendations
- Exact real arithmetic for interval number systems
- Rational number approximation in higher radix floating point systems
- Computations with effective real numbers
- Coinduction for exact real number computation
- scientific article; zbMATH DE number 1979264
- Computing with classical real numbers
- A certified, corecursive implementation of exact real numbers
- Implementing real numbers with RZ
- Lazy computation with exact real numbers
- Lazy computation with exact real numbers
Cited in
(22)- scientific article; zbMATH DE number 1746052 (Why is no real title available?)
- scientific article; zbMATH DE number 47463 (Why is no real title available?)
- Algorithms for computational precision
- Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers
- Operations on R-numbers
- scientific article; zbMATH DE number 4079498 (Why is no real title available?)
- Finite Precision Rational Arithmetic: Slash Number Systems
- scientific article; zbMATH DE number 2090725 (Why is no real title available?)
- Refinement of rational end-points real numbers by means of floating-point numbers
- A theorem of fixed-point machine arithmetic in redundant binary quasicanonical number system
- Signed-bit representations of real numbers
- Computing over the reals with addition and order
- scientific article; zbMATH DE number 6415710 (Why is no real title available?)
- Lazy algorithms for exact real arithmetic
- scientific article; zbMATH DE number 3862438 (Why is no real title available?)
- scientific article; zbMATH DE number 1189297 (Why is no real title available?)
- scientific article; zbMATH DE number 1931079 (Why is no real title available?)
- Exact real arithmetic for interval number systems
- Lazy computation with exact real numbers
- A lazy approach to adaptive exact real arithmetic using floating-point operations
- Computations with effective real numbers
- Implementing exact real arithmetic in python, C++ and C
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 Q4222971)