Arbitrary precision real arithmetic: design and algorithms

The Journal of Logic and Algebraic Programming - Tập 64 - Trang 13-39 - 2005
Valérie Ménissier-Morain1
1LIP6, Université Paris 6, 8 rue du Capitaine Scott, F-75015 Paris, France

Tài liệu tham khảo

Goldberg, 1991, What every computer scientist should know about floating point arithmetic, ACM Computing Surveys, 23, 5, 10.1145/103162.103163

J.-M. Muller, Arithmétique des ordinateurs, Etudes et recherches en informatique, Masson, 1989

Muller, 1995, Ordinateurs en quête d’arithmétique, La Recherche, 26, 772

J.-M. Chesneaux, L’approche probabiliste des erreurs d’arrondi, Talk to a workshop on the quality of computers results organized by Paris 6 University, April 1997

K. Nickel (Ed.), Interval Mathematics, lNCS, vol. 29, 1975

1985, vol. 212

Aberth, 1988

M. Daumas, C. Mazenc, J.-M. Muller, User transparent interval arithmetic, in: Proceedings of IMACS/GAMM International Symposium SCAN-93, 1993. Also available as research report number 94-02 of École Normale Supérieure de Lyon, January 1994. Available from: <ftp://ftp.lip.ens-Lyon.fr/pub/Rapports/RR/RR94/RR94-02.ps.Z>

Brent, 1976, Fast multiple-precision evaluation of elementary functions, Journal of the ACM, 23, 243, 10.1145/321941.321944

E. Wiedmer, Exaktes R echnen mit reellen Zahlen und anderen unendlichen Objekten, Ph.D. thesis, ETH, Zurich, diss. ETH 5975, 1977

E. Wiedmer, Calculs avec des fractions décimales et d’autres objets infinis, Compte-rendu d’un exposé à l’Institut de Programmation de l’Université Paris VII, January 1979

E. Wiedmer, Computing with infinite objects, Theoretical Computer Science 10

Boehm, 1986, Exact real arithmetic: a case study in higher order programming

Boehm, 1987, Constructive real interpretation of numerical programs

Avizienis, 1961, Signed-digit number representations for fast parallel arithmetic, IRE Transactions on Electronic Computers, 389, 10.1109/TEC.1961.5219227

Lin, 1990, IEEE Transactions on Computers, 39, 1038, 10.1109/12.57043

J. Vuillemin, Exact real computer arithmetic with continued fractions, Research report Rapport de recherche 760, INRIA, 1987

Vuillemin, 1988, Exact real computer arithmetic with continued fractions

Vuillemin, 1990, Exact real computer arithmetic with continued fractions, IEEE Transactions on Computers, 39, 1087, 10.1109/12.57047

B. Gosper, Continued Fraction Arithmetic, HAKMEM Item 101B, MIT AI MEMO 239, February 1972. Available from <ftp://ftp.netcom.com/pub/hb/hbaker/hakmem/cf.html#item101b>

V. Ménissier-Morain, Arithmétique exacte, conception, algorithmique et performances d’une implémentation informatique en précision arbitraire, Thèse, Université Paris 7, December 1994. Available from <http://calfor.lip6.fr/vmm/documents/these94.ps.gz>

V. Ménissier-Morain, Arbitrary precision real arithmetic: design and proved algorithms, Research report Rapport de recherche 2003.003, Université Paris 6, January 2003. Available from <http://calfor.lip6.fr/vmm/documents/rapport2003.ps.gz>

J.-C. Hervé, F. Morain, D. Salesin, B. Serpette, J. Vuillemin, P. Zimmermann, BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic, Tech. Rep. 1016, INRIA, Domaine de Voluceau, 78153 Rocquencourt, FRANCE, April 1989

B. Serpette, J. Vuillemin, J. Hervé, BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic, Tech. Rep. 2, Digital PRL, May 1989

V. Ménissier-Morain, The CAML Numbers Reference Manual, Tech. Rep. 141, INRIA, July 1992. Available from <http://calfor.lip6.fr/vmm/documents/doc_arith_without_camels.ps.gz>

C. Batut, Aspects algorithmiques du système de calcul arithmétique en multiprécision PARI, Thèse de doctorat, Université de Bordeaux I, February 1989

Vignes, 1974, Error analysis in computing, vol. 74

Chesneaux, 1990, Study of the computing accuracy by using probabilistic approach, 19

Vignes, 1993, A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, 35, 233, 10.1016/0378-4754(93)90003-D

M. Benouamer, P. Jaillon, D. Michelucci, J.-M. Moreau, A lazy solution to imprecision in computational geometry, in: Proceedings of the 5th Canadian Conference on Computational Geometry, 1993, pp. 73–78. Available from <ftp://ftp.emse.fr/pub/papers/LAZY/LazyCG.ps.gz>

D. Lester, Effective continued fractions, in: Proceedings of the 15th IEEE Symposium on Computer Arithmetic, 2001, pp. 163–170

A. Edalat, P.J. Potts, A new representation for exact real numbers, Electronic Notes in Theoretical Computer Science 6 (14)

P.J. Potts, Exact real arithmetic using Möbius transformations, Ph.D. thesis, Imperial College, 1999

P.J. Potts, A. Edalat, P. Sünderhauf, Lazy computation with exact real numbers, in: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, 1998, pp. 185–194

Heckmann, 2002, Contractivity of linear fractional transformations, Theoretical Computer Science, 279, 65, 10.1016/S0304-3975(00)00427-8

R. Heckmann, How many argument digits are needed to produce n result digits, Electronic Notes in Theoretical Computer Science 24, realComp ’98 Real Number Computation, Indianapolis, June 1998

R. Heckmann, Translation of Taylor series into LFT expansions, in: Proceedings of Dagstuhl Seminar Symbolic Algebraic Methods and Verification Methods, November 1999, submitted for publication

P. Gowland, D. Lester, The correctness of an implementation of exact arithmetic, in: Proceedings of the Fourth Conference on Real Numbers and Computers, 2000

P. Zimmermann, MPFR: a library for multiprecision floating-point arithmetic with exact rounding, in: Proceedings of the Fourth Conference on Real Numbers and Computers, 2000, pp. 8–90

N.T. Müller, The iRRAM: exact arithmetic in C++, in: Computability and Complexity in Analysis, Vol. 2064 of Lecture Notes in Computer Science, 2001, pp. 222–252, Proceedings of the 4th International Workshop, CCA 2000, September 2000. Available from <http://www.informatik.uni-trier.de/mueller/>

Brattka, 1998, Feasible real random access machines, Journal of Complexity, 14, 490, 10.1006/jcom.1998.0488

Blanck, 2001, Exact real arithmetic systems: results of competition, vol. 2064, 389

MPFR Team, LORIA, INRIA Lorraine , MPFR: Multiple Precision Floating-Point Reliable Library, second ed., April 2002. Available from: <http://www.loria.fr/projets/mpfr/mpfr-current/documentation.html>

P. Gowland, D. Lester, A survey of exact arithmetic implementations, in: Computability and Complexity in Analysis, Lecture Notes in Computer Science, vol. 2064, 2001, pp. 30–47, 4th International Workshop, CCA 2000, September 2000

J.-C. Filliâtre, Description of the Creal module for Objective Caml , World-Wide Web document, November 2001. Available from: <http://www.lri.fr/filliatr/ftp/ocaml/ds/creal.ps.gz>

K. Briggs, Y. Smaragdakis, XR—exact real arithmetic, World-Wide Web document and software package, March 2001. Available from: <http://www.btexact.com/people/briggsk2/XR.html>

K. Briggs, Exact real computation, Talk at University of Warwick, May 2001. Available from: <http://www.btexact.com/people/briggsk2/xr-talk.ps>

K.M. Briggs, Implementing exact arithmetic in python, C++ and C, submitted to the special issue of TCS dedicated to RNC5, accepted for publication

Lester, 2002, Using PVS to validate the algorithms of an exact arithmetic, Theoretical Computer Science, 291, 203, 10.1016/S0304-3975(02)00226-8

J. Créci, Certification d’algorithmes d’arithmétique rélle exacte dans le système Coq, DEA Logique et Fondements de l’Informatique , Université Paris 11, 2002

Thông tin
Thông tin xuất bản

The Journal of Logic and Algebraic Programming

Tập 64

13-39

Thông tin tác giả