AbstractI 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
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications u...
Precision in computations is a considerable challenge to adequately addressing many current scientif...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
AbstractWe describe here a representation of computable real numbers and a set of algorithms for the...
International audienceWe describe here a representation of computable real numbers and a set of algo...
Abstract. The error-ranges of exact rational numbers and intervals can be guaranteed even during the...
Different approaches for real number computations, which deal with arithmetic on the full set of rea...
The inner logic structure of Exact Rational Operative Representation in arbitrary Fixed-Radix Number...
Naive computations with real numbers on computers may cause serious errors. In traditional numerical...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approxi...
International audienceWe describe a computing method of the computable (or constructive) real number...
AbstractThis paper addresses the topic of the refinement of exact real numbers. It presents a three-...
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications u...
Precision in computations is a considerable challenge to adequately addressing many current scientif...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
AbstractWe describe here a representation of computable real numbers and a set of algorithms for the...
International audienceWe describe here a representation of computable real numbers and a set of algo...
Abstract. The error-ranges of exact rational numbers and intervals can be guaranteed even during the...
Different approaches for real number computations, which deal with arithmetic on the full set of rea...
The inner logic structure of Exact Rational Operative Representation in arbitrary Fixed-Radix Number...
Naive computations with real numbers on computers may cause serious errors. In traditional numerical...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approxi...
International audienceWe describe a computing method of the computable (or constructive) real number...
AbstractThis paper addresses the topic of the refinement of exact real numbers. It presents a three-...
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications u...
Precision in computations is a considerable challenge to adequately addressing many current scientif...