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
We introduce a new axiomatization of the constructive real numbers in a dependent type theory. Our m...
AbstractThe whole point of exact arithmetic is to generate answers to numeric problems, within some ...
We provide a semantical framework for exact real arithmetic using linear fractional transformations ...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
International audienceWe describe here a representation of computable real numbers and a set of algo...
AbstractWe describe here a representation of computable real numbers and a set of algorithms for the...
AbstractWe implement exact real numbers in the logical framework Coq using streams, i.e., infinite s...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
We present an approach to verified programs for exact real number computation that is based on indu...
This paper investigates an arithmetic based upon the representation of computable exact real numbers...
In this article we propose a new representation for the real numbers. This representation can be con...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
International audienceIn this paper we describe some certified algorithms for exact real arithmetic b...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
We introduce a new axiomatization of the constructive real numbers in a dependent type theory. Our m...
AbstractThe whole point of exact arithmetic is to generate answers to numeric problems, within some ...
We provide a semantical framework for exact real arithmetic using linear fractional transformations ...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
International audienceWe describe here a representation of computable real numbers and a set of algo...
AbstractWe describe here a representation of computable real numbers and a set of algorithms for the...
AbstractWe implement exact real numbers in the logical framework Coq using streams, i.e., infinite s...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
We present an approach to verified programs for exact real number computation that is based on indu...
This paper investigates an arithmetic based upon the representation of computable exact real numbers...
In this article we propose a new representation for the real numbers. This representation can be con...
AbstractThis paper investigates an arithmetic based upon the representation of computable exact real...
International audienceIn this paper we describe some certified algorithms for exact real arithmetic b...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
We introduce a new axiomatization of the constructive real numbers in a dependent type theory. Our m...
AbstractThe whole point of exact arithmetic is to generate answers to numeric problems, within some ...
We provide a semantical framework for exact real arithmetic using linear fractional transformations ...