Integer calculus on the Harthong-Reeb Line

Résumé : ans ce travail, nous donnons une présentation de la droite dite d’Harthong-Reeb. Il s’agit d’un système numérique uniquement basé sur les nombres entiers et dont la propriété frappante est qu’il est à peu près équivalent à la droite réelle continue. Sa définition nécessite l’utilisation d’un nombre naturel w qui est infiniment grand au sens de l’analyse nonstandard. Suivant l’idée de G. Reeb, nous montrons comment on peut implémenter le schéma d’Euler dans ce cadre. Alors, on obtient une représentation exacte dans la droite d’Harthong-Reeb de nombreuses fonctions réelles comme la fonction exponentielle. Puisque cette représentation est donnée au moyen d’un algorithme explicite, il est naturel de s’interroger sur la constructivité globale de ce système numérique. Dans la conclusion, nous discutons ce dernier point et nous esquissons de nouvelles directions pour obtenir des systèmes analogues dotés d’une meilleure constructivité.
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.517-536
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01277784
Contributeur : Coordination Episciences Iam <>
Soumis le : mardi 23 février 2016 - 11:13:09
Dernière modification le : jeudi 9 février 2017 - 16:58:52
Document(s) archivé(s) le : mardi 24 mai 2016 - 11:55:18

Fichier

arima00928.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01277784, version 1

Collections

Citation

Guy Wallet. Integer calculus on the Harthong-Reeb Line. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 9, pp.517-536. 〈hal-01277784〉

Partager

Métriques

Consultations de la notice

79

Téléchargements de fichiers

142