Foundational aspects of multiscale digitization - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2012

Foundational aspects of multiscale digitization

Guy Wallet
  • Fonction : Auteur
  • PersonId : 856460
Laurent Fuchs
SIC
Eric Andres
SIC
Gaëlle Largeteau-Skapin
SIC

Résumé

In this article, we describe the theoretical foundations of the Ω-arithmetization. This method provides a multi-scale discretization of a continuous function that is a solution of a differential equation. This discretization process is based on the Harthong-Reeb line HRω. The Harthong-Reeb line is a linear space that is both discrete and continuous. This strange line HRω stems from a nonstandard point of view on arithmetic based, in this paper, on the concept of Ω-numbers introduced by Laugwitz and Schmieden. After a full description of this nonstandard background and of the first properties of HRω, we introduce the Ω-arithmetization and we apply it to some significant examples. An important point is that the constructive properties of our approach leads to algorithms which can be exactly translated into functional computer programs without uncontrolled numerical error. Afterwards, we investigate to what extent HRω fits Bridges's axioms of the constructive continuum. Finally, we give an overview of a formalization of the Harthong-Reeb line with the Coq proof assistant.
Fichier principal
Vignette du fichier
FoundAspectsMultiResolDigiti.pdf (504.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00857689 , version 1 (03-09-2013)

Identifiants

Citer

Agathe Chollet, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin. Foundational aspects of multiscale digitization. Theoretical Computer Science, 2012, 466, pp.2-19. ⟨10.1016/j.tcs.2012.07.026⟩. ⟨hal-00857689⟩
200 Consultations
198 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More