Computations with effective real numbers
From MaRDI portal
Publication:817859
DOI10.1016/j.tcs.2005.09.060zbMath1086.65045MaRDI QIDQ817859
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
65G40: General methods in interval analysis
68W25: Approximation algorithms
65G20: Algorithms with automatic result verification
26E40: Constructive real analysis
Related Items
Encoding algebraic power series, Around the numeric-symbolic computation of differential Galois groups, Towards optimal use of multi-precision arithmetic: a remark
Uses Software
Cites Work