Implementing exact real arithmetic in python, C<mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mo>++</mml:mo></mml:math> and C-Reference-Cited by-同舟云学术

Implementing exact real arithmetic in python, C++ and C

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

Author:

Briggs Keith

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference21 articles.

1. P. Andersson, Exact real computer arithmetic with automatic estimates in a computer algebra system, Department of Mathematics, Uppsala University, U.U.D.M. Report 2001:P5, 2001, .

2. H.-J. Boehm, R. Cartwright, M. Riggle, M. O’Donnell, Exact real arithmetic: a case study in higher order programming, in: ACM Symp. on Lisp and Functional Programming, 1986, pp. 162–173, .

3. A.J. Brentjes, Multi-dimensional continued fraction algorithms, Mathematical Centre Tracts, Vol. 145, Mathematisch Centrum Amsterdam, 1981, MR 83b:10038.

4. K.M. Briggs, XR homepage, , 2002.

5. K.M. Briggs, xrc homepage, , 2003.

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

1. Modelling and heuristically solving three-dimensional loading constrained vehicle routing problem with cross-docking;Advanced Engineering Informatics;2023-08

2. Infinite-Precision Inner Product and Sparse Matrix-Vector Multiplication Using Ozaki Scheme with Dot2 on Manycore Processors;Parallel Processing and Applied Mathematics;2023

3. Towards an API for the real numbers;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

4. Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic;Science of Computer Programming;2019-10

5. Abstract State Machines with Exact Real Arithmetic;Lecture Notes in Computer Science;2018