Computations with effective real numbers
From MaRDI portal
Publication:817859
DOI10.1016/J.TCS.2005.09.060zbMATH Open1086.65045OpenAlexW2083332199MaRDI QIDQ817859FDOQ817859
Authors: 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
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
Approximation algorithms (68W25) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20) Constructive real analysis (26E40)
Cites Work
Cited In (10)
- 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
- Title not available (Why is that?)
- Lazy computation with exact real numbers
- Calcium. Computing in exact real and complex fields
- Around the numeric-symbolic computation of differential Galois groups
- Real computations with fake numbers
Uses Software
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)
