E. Andres, Discrete circles, rings and spheres, Computers & Graphics, vol.18, issue.5, pp.695-706, 1994.
DOI : 10.1016/0097-8493(94)90164-3

J. E. Bresenham, A linear algorithm for incremental digital display of cirucular arcs, Communications of the ACM, vol.20, issue.2, pp.100-106, 1977.
DOI : 10.1145/359423.359432

D. S. Bridges, Constructive mathematics: a foundation for computable analysis, Theoretical Computer Science, vol.219, issue.1-2, pp.95-109, 1999.
DOI : 10.1016/S0304-3975(98)00285-0

A. Chollet, G. Wallet, L. Fuchs, G. Largeteau-skapin, and E. Andres, Insight in discrete geometry and computational content of a discrete model of the continuum, Pattern Recognition, vol.42, issue.10, pp.2220-2228, 2009.
DOI : 10.1016/j.patcog.2008.12.005

URL : https://hal.archives-ouvertes.fr/hal-00347900

A. Chollet, G. Wallet, L. Fuchs, G. Largeteau-skapin, and E. Andres, ?arithmetization: a discrete multi-resolution representation of real functions, Combinatorial Image Analysis, pp.316-329, 2009.

M. Diener, Application du calcul de Harthong-Reeb aux routines graphiques, pp.424-435, 1992.

L. Fuchs, G. Largeteau-skapin, G. Wallet, E. Andres, and A. Chollet, A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis, Discrete Geometry for Computer Imagery, pp.21-32, 2008.
DOI : 10.1007/978-3-540-79126-3_4

URL : https://hal.archives-ouvertes.fr/hal-00347921

J. Harthong, ´ Eléments pour une théorie du continu, Astérisque, vol.109110, pp.235-244, 1983.

H. Holin, Harthong-Reeb circles. Séminaire Non Standard, pp.1-30, 1989.
DOI : 10.1007/bf01900842

H. Holin, Harthong-Reeb analysis and digital circles, The Visual Computer, vol.28, issue.10, pp.8-17, 1991.
DOI : 10.1007/BF01900842

D. Laugwitz, ?-calculus as a generalization of field extension Nonstandard Analysis ? Recent Developments, Lecture Notes in Mathematics, vol.983, pp.144-155, 1983.

C. Schmieden and D. Laugwitz, Eine Erweiterung der Infinitesimalrechnung, Mathematische Zeitschrift, vol.69, issue.1, pp.1-39, 1958.
DOI : 10.1007/BF01187391

P. Martin-löf, Constructive Mathematics and Computer Programming, pp.153-175, 1980.
DOI : 10.1016/S0049-237X(09)70189-2

P. Martin-löf, Intuitionnistic Type Theory, Bibliopolis, 1984.

P. Martin-löf, Mathematics of infinity, Computer Logic (COLOG-88). LNCS, pp.146-197, 1990.
DOI : 10.1007/3-540-52335-9_54

E. Nelson, Internal set theory: A new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol.83, issue.6, pp.1165-1198, 1977.
DOI : 10.1090/S0002-9904-1977-14398-X

J. Reveilì-es, Géométrie Discrète, Calcul en Nombres Entiers et Algorithmique, 1991.

A. Richard, G. Wallet, L. Fuchs, E. Andres, and G. Largeteau-skapin, Arithmetization of a Circular Arc, LNCS, vol.16, issue.110, pp.350-361, 2009.
DOI : 10.1007/BF02127797

A. Robinson, Non-standard Analysis, 1974.