Discrete circles, rings and spheres, Computers & Graphics, vol.18, issue.5, pp.695-706, 1994. ,
DOI : 10.1016/0097-8493(94)90164-3
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
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
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
?arithmetization: a discrete multi-resolution representation of real functions, Combinatorial Image Analysis, pp.316-329, 2009. ,
Application du calcul de Harthong-Reeb aux routines graphiques, pp.424-435, 1992. ,
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
´ Eléments pour une théorie du continu, Astérisque, vol.109110, pp.235-244, 1983. ,
Harthong-Reeb circles. Séminaire Non Standard, pp.1-30, 1989. ,
DOI : 10.1007/bf01900842
Harthong-Reeb analysis and digital circles, The Visual Computer, vol.28, issue.10, pp.8-17, 1991. ,
DOI : 10.1007/BF01900842
?-calculus as a generalization of field extension Nonstandard Analysis ? Recent Developments, Lecture Notes in Mathematics, vol.983, pp.144-155, 1983. ,
Eine Erweiterung der Infinitesimalrechnung, Mathematische Zeitschrift, vol.69, issue.1, pp.1-39, 1958. ,
DOI : 10.1007/BF01187391
Constructive Mathematics and Computer Programming, pp.153-175, 1980. ,
DOI : 10.1016/S0049-237X(09)70189-2
Intuitionnistic Type Theory, Bibliopolis, 1984. ,
Mathematics of infinity, Computer Logic (COLOG-88). LNCS, pp.146-197, 1990. ,
DOI : 10.1007/3-540-52335-9_54
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
Géométrie Discrète, Calcul en Nombres Entiers et Algorithmique, 1991. ,
Arithmetization of a Circular Arc, LNCS, vol.16, issue.110, pp.350-361, 2009. ,
DOI : 10.1007/BF02127797
Non-standard Analysis, 1974. ,