Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions-Reference-Cited by-同舟云学术

Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions

Published:2009 Issue: Volume: Page:316-329
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Chollet Agathe,Wallet Guy,Fuchs Laurent,Andres Eric,Largeteau-Skapin Gaëlle

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10210-3_25.pdf

Reference21 articles.

1. Bridges, D.S.: Constructive mathematics: a foundation for computable analysis. Theoretical Computer Science 219, 95–109 (1999)

2. Bridges, D., Reeves, S.: Constructive mathematics, in theory and programming practice. Technical Report CDMTCS-068, Centre for Discrete Mathematics and Theorical Computer Science (1997)

3. Chollet, A., Wallet, G., Fuchs, L., Largeteau-Skapin, G., Andres, E.: Insight in discrete geometry and computational content of a discrete model of the continuum. Pattern Recognition 42, 2220–2228 (2009)

4. Diener, M.: Application du calcul de Harthong-Reeb aux routines graphiques. In: Salanskis, J.M., Sinaceurs, H. (eds.) Le Labyrinthe du Continu, pp. 424–435. Springer, Heidelberg (1992)

5. Diener, F., Reeb, G.: Analyse Non Standard. Hermann, Paris (1989)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-scale Arithmetization of Linear Transformations;Journal of Mathematical Imaging and Vision;2018-10-17

2. Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective;Annals of Mathematics and Artificial Intelligence;2014-10-17

3. Shape from Silhouettes in Discrete Space;Digital Geometry Algorithms;2012

4. Ω-Arithmetization of Ellipses;Computational Modeling of Objects Represented in Images;2010