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}
}
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… 
Omega-Arithmetization of Ellipses
TLDR
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
TLDR
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
TLDR
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

References

SHOWING 1-10 OF 26 REFERENCES
Arithmetization of a Circular Arc
TLDR
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
TLDR
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
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
Constructive Mathematics: A Foundation for Computable Analysis
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
TLDR
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
Article history: Received 21 July 2008 Received in revised form 20 November 2008 Accepted 9 December 2008
...
...