[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [RealNumbers] Constructive Reals Calculator
From: |
billpage |
Subject: |
[Axiom-developer] [RealNumbers] Constructive Reals Calculator |
Date: |
Mon, 23 Jan 2006 19:54:58 -0600 |
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 in the displayed
result that is strictly less than one in the least significant
displayed digit. It is possible to scroll the display to the right
to generate essentially arbitrary precision in the result.
--
forwarded from http://wiki.axiom-developer.org/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [RealNumbers] Constructive Reals Calculator,
billpage <=