Efficient exact arithmetic over constructive reals

Authors:
Yong Li;Jun-Hai Yong
Affiliations:
School of Software, Tsinghua University, Beijing, P.R. China;School of Software, Tsinghua University, Beijing, P.R. China
Venue:
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Year:
2007

Citing 11
Cited 0

Exact Real Computer Arithmetic with Continued Fractions

IEEE Transactions on Computers
Optimizing programs over the constructive reals

Optimizing programs over the constructive reals
Exact real arithmetic: a case study in higher order programming

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Computable analysis: an introduction

Computable analysis: an introduction
Using PVS to validate the algorithms of an exact arithmetic

Theoretical Computer Science - Real numbers and computers
Computing with Real Numbers

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A Survey of Exact Arithmetic Implementations

CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Exact Real Arithmetic Systems: Results of Competition

CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
The iRRAM: Exact Arithmetic in C++

CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Computations with effective real numbers

Theoretical Computer Science - Real numbers and computers
Implementing exact real arithmetic in python, C++ and C

Theoretical Computer Science - Real numbers and computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a computing method of the computable (or constructive) real numbers based on analysis of expressions. This method take precision estimate into account in order to get a better algorithm than Ménissier-Morain's method, which is also based on the representation of constructive reals. We solve two problems which appear in exact real arithmetic based on the representation of constructive reals. First, by balancing every item's precision in the expression, we can avoid unnecessary precision growth. Second, by distributing different weights to different operations, we can make sure that complex operations do not waste much time when to compute the whole expression. In these ways, we finally get a more efficient and proper method than prior implementations.