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

Authors:
Keith Briggs
Affiliations:
BT, Martlesham Heath, UK
Venue:
Theoretical Computer Science - Real numbers and computers
Year:
2006

Citing 4
Cited 3

Exact Real Computer Arithmetic with Continued Fractions

IEEE Transactions on Computers
A course in computational algebraic number theory

A course in computational algebraic number theory
Exact real arithmetic: a case study in higher order programming

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Functional programming in C++

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

RealLib: An efficient implementation of exact real arithmetic

Mathematical Structures in Computer Science
Efficient exact arithmetic over constructive reals

TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Complexity and intensionality in a type-1 framework for computable analysis

CSL'05 Proceedings of the 19th international conference on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

I discuss the design and performance issues arising in the efficient implementation of the scaled-integer exact real arithmetic model introduced by Boehm and others. This system represents a real number with a automatically controlled level of precision by a rational with implicit denominator. I describe three practical codes, in python, C++ and C. These allow the convenient use of this computational paradigm in commonly used imperative languages.