Computations with effective real numbers
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1979264
- Computing with classical real numbers
- Publication:4938618
- Real computations with fake numbers
- Lazy computation with exact real numbers
- Lazy computation with exact real numbers
- Towards using exact real arithmetic for initial value problems
- scientific article; zbMATH DE number 1231646
- Publication:4938619
- Real number computations: On the use of information
Cites work
- scientific article; zbMATH DE number 1253958 (Why is no real title available?)
- scientific article; zbMATH DE number 1024661 (Why is no real title available?)
- Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers
- How to recognize zero?
- Numerical Software with Result Verification
- Relax, but don't be too lazy
Cited in
(10)- Real computations with fake numbers
- Real number computations: On the use of information
- Encoding algebraic power series
- Computing over the reals with addition and order
- Towards optimal use of multi-precision arithmetic: a remark
- Computing finite-dimensional realizations
- scientific article; zbMATH DE number 1231646 (Why is no real title available?)
- Lazy computation with exact real numbers
- Calcium. Computing in exact real and complex fields
- Around the numeric-symbolic computation of differential Galois groups
This page was built for publication: Computations with effective real numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817859)
