[Axiom-developer] [RealNumbers] Exact real computer arithmetic with continued fractions

Changes http://wiki.axiom-developer.org/RealNumbers/diff -- http://www.inria.fr/rrrt/rr-0760.html RR-0760 - Exact real computer arithmetic with continued fractions:: Vuillemin, J. Rapport de recherche de l'INRIA - Rocquencourt 49 pages - Novembre 1987 - Document en anglais Fichier

[Axiom-developer] [RealNumbers] Constructive Reals Calculator

Changes http://wiki.axiom-developer.org/RealNumbers/diff -- http://www.hpl.hp.com/personal/Hans_Boehm/crcalc Overview This is a calculator that operates on constructive real numbers. Numbers are represented exactly internally to the calculator, and then evaluated on demand to guarantee an error

[Axiom-developer] [RealNumbers] implementing Exact Real Numbers

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- A certified, corecursive implementation of exact Real Numbers Alberto Ciaffaglione a, Pietro Di Gianantonio http://www.dimi.uniud.it/~ciaffagl/Papers/reals.pdf Abstract We implement exact real numbers in the logical fram

[Axiom-developer] [RealNumbers] Computing with Exact Real Arithmetic

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- There is apparently a lot of work on this subject. Some History http://www.rbjones.com/rbjpub/cs/cs006.htm > The lazy digit sequence approach (similar to lazy power series) has, > for example, been implemented by Micha

[Axiom-developer] [RealNumbers]

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- ??changed: -See: http://encyclopedia.laborlawtalk.com/Real_number See: http://en.wikipedia.org/wiki/Real_number ??changed: -See: http://encyclopedia.laborlawtalk.com/Computable_number See: http://en.wikipedia.org/wiki/Com

[Axiom-developer] [RealNumbers] real references

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- ++added: >From wyscc Wed Jun 15 01:36:00 -4:00 Bill, thanks for creating this page. I enjoyed reading the links and was wondering how a site on labor laws need to know the foundations of mathematics. Actually, they ga

[Axiom-developer] [RealNumbers]

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- ??changed: - Computable Numbers In mathematics, theoretical computer science and mathematical logic, the computable numbers, also known as the recursive numbers, are the subset of the real numbers consisting of the numb

[Axiom-developer] [RealNumbers]

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- ++added: Real Numbers In mathematics, the real numbers are intuitively defined as numbers that are in one-to-one correspondence with the points on an infinite line—the number line. The term "real number" is a retronym c

[Axiom-developer] [RealNumbers]

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- ++added: This subject was discussed in issue #167 Infinite Floats Domain -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] ___ Axiom-develo

[Axiom-developer] [RealNumbers] (new)

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff -- Axiom implements the number domains Integer, Float and even Fraction(Integer) i.e. rational numbers, but it does not implement anything called Real numbers. *Why is that?* -- forwarded from http://page.axiom-developer.org/