Computations with effective real numbers-Reference-Cited by-同舟云学术

Computations with effective real numbers

Published:2006-02 Issue:1 Volume:351 Page:52-60
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

van der Hoeven Joris

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference14 articles.

1. J. Blanck, General purpose exact real arithmetic, Technical Report CSR 21-200, Luleå University of Technology, Sweden, , 2002.

2. J. Blanck, V. Brattka, P. Hertling (Eds.), Computability and Complexity in Analysis, Lecture Notes in Computer Science, Vol. 2064, Springer, Berlin, 2001.

3. T. Granlund, et al. GMP, the GNU multiple precision arithmetic library, , 1991–2004.

4. M. Grimmer, K. Petras, N. Revol, Multiple precision interval packages: comparing different approaches, Technical Report RR 2003-32, LIP, École Normale Supérieure de Lyon, 2003.

5. G. Hanrot, V. Lefèvre, K. Ryde, P. Zimmermann, MPFR, a c library for multiple-precision floating-point computations with exact rounding, , 2000–2004.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Calcium;Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation;2021-07-18

2. Internal Versus External Balancing in the Evaluation of Graph-Based Number Types;Lecture Notes in Computer Science;2019

3. Numeric-symbolic methods for computing the Liouvillian solutions of differential equations and systems;ACM Communications in Computer Algebra;2013-01-15

4. Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound;2011 IEEE 20th Symposium on Computer Arithmetic;2011-07

5. On Effective Analytic Continuation;Mathematics in Computer Science;2007-10-29