# Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions

@inproceedings{Chollet2009OmegaArithmetizationAD,
title={Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions},
author={Agathe Chollet and Guy Wallet and Laurent Fuchs and Eric Andres and Ga{\"e}lle Largeteau-Skapin},
booktitle={IWCIA},
year={2009}
}
• Published in IWCIA 17 November 2009
• Computer Science, Mathematics
Multi-resolution analysis and numerical precision problems are very important subjects in fields like image analysis or geometrical modeling. In the continuation of previous works of the authors, we expose in this article a new method called the $\it \Omega$-arithmetization. It is a process to obtain a multi-scale discretization of a continuous function that is a solution of a differential equation. The constructive properties of the underlying theory leads to algorithms which can be exactly…
6 Citations
Omega-Arithmetization of Ellipses
• Mathematics, Computer Science
CompIMAGE
• 2010
A discrete multi-resolution representation of arcs of ellipses is obtained and the corresponding algorithms are completely constructive and thus, can be exactly translated into functional computer programs.
Ω-Arithmetization of Ellipses
• Mathematics, Computer Science
• 2012
A discrete multi-resolution representation of arcs of ellipses is obtained and the corresponding algorithms are completely constructive and thus, can be exactly translated into functional computer programs.
Multi-scale Arithmetization of Linear Transformations
• L. Mazo
• Mathematics
Journal of Mathematical Imaging and Vision
• 2018
A constructive nonstandard interpretation of a multiscale affine transformation scheme is presented. It is based on the $$\Omega$$Ω-numbers of Laugwitz and Schmieden and on the discrete model of the
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Computer Science
Annals of Mathematics and Artificial Intelligence
• 2014
It is shown that Laugwitz-Schmieden numbers can be used to actually compute continuous functions and could improve techniques for both implementing numeric computations and reasoning about them in geometric systems.
Décomposition des rotations nD et arithmétisation des cercles
Cette these est basee sur deux axes principaux : la decomposition des rotations nD et le processus d'arithmetisation des cercles. D'une part, estimer les parametres des rotations est utile dans de
Foundational aspects of multiscale digitization
• Computer Science
Theor. Comput. Sci.
• 2012

## References

SHOWING 1-10 OF 26 REFERENCES
Arithmetization of a Circular Arc
• Mathematics
DGCI
• 2009
An arithmetization of the Euler's integration scheme based on infinitely large integers coming from the nonstandard analysis theory is presented and criteria to assure the 8-connectivity is given.
A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
• Computer Science
DGCI
• 2008
The aim of this paper is to take a first look at a possible formal and constructive approach to discrete geometry that would open the way to better algorithmic definition of discrete differential concepts.
Nonstandard analysis--recent developments
Explicit solutions of partial differential equations.- Hyperfinite spin models.- Nonstandard analysis and the theory of Banach spaces.- Stochastic solutions to partial differential equations.-
Constructive Mathematics in Theory and Programming Practice
• Philosophy
• 1999
The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop’s constructive mathematics (BISH). It gives a sketch of both Myhill’s axiomatic system
Non-standard analysis
* General Introduction * Tools from Logic * Differential and Integral Calculus * General Topology * Functions of a Real Variable * Functions of a Complex Variable * Linear Spaces * Topological Groups
Internal set theory: A new approach to nonstandard analysis
1. Internal set theory. We present here a new approach to Abraham Robinson's nonstandard analysis [10] with the aim of making these powerful methods readily available to the working mathematician.
Intuitionistic type theory
These lectures were given in Padova and Munich later in the same year as part of the meeting on Konstruktive Mengenlehre und Typentheorie which was organized in Munich by Prof. Helmut Schwichtenberg.
Insight in discrete geometry and computational content of a discrete model of the continuum