Efficient Exact Arithmetic over Constructive Reals - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Efficient Exact Arithmetic over Constructive Reals

Yong Li
  • Fonction : Auteur
Jun-Hai Yong
  • Fonction : Auteur

Résumé

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´enissier-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.
Fichier principal
Vignette du fichier
YongLi2007a.pdf (555 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00517598 , version 1 (15-09-2010)

Identifiants

  • HAL Id : inria-00517598 , version 1

Citer

Yong Li, Jun-Hai Yong. Efficient Exact Arithmetic over Constructive Reals. The 4th Annual Conference on Theory and Applications of Models of Computation, May 2007, Shanghai, China. ⟨inria-00517598⟩
34 Consultations
267 Téléchargements

Partager

Gmail Facebook X LinkedIn More