A Survey of Exact Arithmetic Implementations
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Metamorphisms: Streaming representation-changers
Science of Computer Programming
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Exact arithmetic on the Stern-Brocot tree
Journal of Discrete Algorithms
Certified Computer Algebra on Top of an Interactive Theorem Prover
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Hi-index | 0.00 |
Abstract: Only the leading seven terms of a continued fraction are needed to perform on-line arithmetic, provided the continued fractions are of the correct form. This forms the basis of a proof that there is an effective representation of the computable reals as continued fractions; we also demonstrate that the basic arithmetic operations are computable using this representation.