Efficient Exact Arithmetic over Constructive Reals

Yong Li 1 Jun-Hai Yong 2, 1
2 CAD - Computer Aided Design
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
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´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.
Type de document :
Communication dans un congrès
The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07), May 2007, Shangaï, China. Springer, 4484, pp.440-449, 2007, Lecture notes in computer science. 〈10.1007/978-3-540-72504-6_39〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00202642
Contributeur : Chine Publications Liama <>
Soumis le : lundi 7 janvier 2008 - 15:36:46
Dernière modification le : jeudi 11 janvier 2018 - 06:21:19

Identifiants

Collections

Citation

Yong Li, Jun-Hai Yong. Efficient Exact Arithmetic over Constructive Reals. The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07), May 2007, Shangaï, China. Springer, 4484, pp.440-449, 2007, Lecture notes in computer science. 〈10.1007/978-3-540-72504-6_39〉. 〈inria-00202642〉

Partager

Métriques

Consultations de la notice

101