Name
Abstract | ||
|---|---|---|
We describe an implementation of the computable (or constructive) real numbers as a pure Java library. To the user, the library interface appears very similar to that of some other numeric types provided by the standard Java library. The primary goal of the implementation is simplicity, so that the implementation could be easily understood, and to allow simple informal correctness arguments. We hope to demonstrate that even such a basic implementation of constructive real arithmetic can be useful in a number of contexts, including in a desk calculator utility distributed with the package. A secondary goal was to demonstrate that some second-order functions on the reals, such as restricted inverse and derivative operations, can be implemented with sufficient performance to be useful. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1016/j.jlap.2004.07.002 | The Journal of Logic and Algebraic Programming |
Keywords | Field | DocType |
Constructive reals,Exact arithmetic,Java,Inverse function,Calculator | Discrete mathematics,Real arithmetic,Calculator,Programming language,Computer science,Constructive,Correctness,Inverse function,Theoretical computer science,Real number,Java,Desk | Journal |
Volume | Issue | ISSN |
64 | 1 | 1567-8326 |
Citations | PageRank | References |
3 | 0.42 | 7 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hans Boehm | 1 | 632 | 38.83 |