Add to ORKGJournal of Logic and Algebraic Programming, vol. 64, nb. 1, 154 pagesInternational audienceno abstrac
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
This special issue of the Foundations of Computing and Decision Sciences, titled ”Numerical Techniqu...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications u...
Different approaches for real number computations, which deal with arithmetic on the full set of rea...
The seminar brought together researchers from many different disciplines concerned with the reliable...
Contains fulltext : 36348.pdf (publisher's version ) (Open Access
www.elsevier.com/locate/jlap Exact real arithmetic using centred intervals and bounded error term
The purpose of this paper is to construct the real number system. The foundation upon which the real...
Available from British Library Document Supply Centre-DSC:DXN050317 / BLDSC - British Library Docume...
Contains fulltext : 34987.pdf (publisher's version ) (Open Access
The title Constructive analysis, types and exact real numbers covers the wide field of research deal...
A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approxi...
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...
The international conference MEGA (Effective Methods in Algebraic Geometry) is a biennial conference...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
This special issue of the Foundations of Computing and Decision Sciences, titled ”Numerical Techniqu...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications u...
Different approaches for real number computations, which deal with arithmetic on the full set of rea...
The seminar brought together researchers from many different disciplines concerned with the reliable...
Contains fulltext : 36348.pdf (publisher's version ) (Open Access
www.elsevier.com/locate/jlap Exact real arithmetic using centred intervals and bounded error term
The purpose of this paper is to construct the real number system. The foundation upon which the real...
Available from British Library Document Supply Centre-DSC:DXN050317 / BLDSC - British Library Docume...
Contains fulltext : 34987.pdf (publisher's version ) (Open Access
The title Constructive analysis, types and exact real numbers covers the wide field of research deal...
A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approxi...
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...
The international conference MEGA (Effective Methods in Algebraic Geometry) is a biennial conference...
exact-real is a C++/Python library which provides exact lazy computations in the Real Numbers. In pa...
This special issue of the Foundations of Computing and Decision Sciences, titled ”Numerical Techniqu...
RZ is a tool which translates axiomatizations of mathematical structures to program specifications u...