exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In particular it implements arithmetic and comparisons of (random) transcendental numbers.Please visit our home page for more information
AbstractIn this paper we present what is thought to be the worldʼs shortest correct exact real arith...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
International audienceWe describe a computing method of the computable (or constructive) real number...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
We provide a semantical framework for exact real arithmetic using linear fractional transformations ...
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...
In this article we propose a new representation for the real numbers. This representation can be con...
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
Abstract. Exact arithmetic is an alternative approach to conventional floating-point arithmetic. It ...
Available from British Library Document Supply Centre-DSC:DXN050317 / BLDSC - British Library Docume...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
Journal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pagesInternational audienceno abstra...
AbstractIn this paper we present what is thought to be the worldʼs shortest correct exact real arith...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
International audienceWe describe a computing method of the computable (or constructive) real number...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
AbstractI discuss the design and performance issues arising in the efficient implementation of the s...
We provide a semantical framework for exact real arithmetic using linear fractional transformations ...
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...
In this article we propose a new representation for the real numbers. This representation can be con...
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
As one of the first theoretical programming languages for exact real number computation, Real PCF wa...
Abstract. Exact arithmetic is an alternative approach to conventional floating-point arithmetic. It ...
Available from British Library Document Supply Centre-DSC:DXN050317 / BLDSC - British Library Docume...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
Journal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pagesInternational audienceno abstra...
AbstractIn this paper we present what is thought to be the worldʼs shortest correct exact real arith...
We use ideas from computable analysis to formalize exact real number computation in the Coq proof as...
International audienceWe describe a computing method of the computable (or constructive) real number...
DOI
Add to ORKG