{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:08:34Z","timestamp":1725552514122},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642127113"},{"type":"electronic","value":"9783642127120"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12712-0_3","type":"book-chapter","created":{"date-parts":[[2010,4,20]],"date-time":"2010-04-20T15:39:09Z","timestamp":1271777949000},"page":"24-35","source":"Crossref","is-referenced-by-count":2,"title":["\u03a9-Arithmetization of Ellipses"],"prefix":"10.1007","author":[{"given":"Agathe","family":"Chollet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Wallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Andres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fuchs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00eblle","family":"Largeteau-Skapin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aur\u00e9lie","family":"Richard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"3_CR1","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/0097-8493(94)90164-3","volume":"18","author":"E. Andres","year":"1994","unstructured":"Andres, E.: Discrete circles, rings and spheres. Computer and Graphics\u00a018(5), 695\u2013706 (1994)","journal-title":"Computer and Graphics"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/359423.359432","volume":"20","author":"J.E. Bresenham","year":"1977","unstructured":"Bresenham, J.E.: A linear algorithm for incremental digital display of circular arcs. Comm. of ACM\u00a020(2), 100\u2013106 (1977)","journal-title":"Comm. of ACM"},{"issue":"1-2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0304-3975(98)00285-0","volume":"219","author":"D.S. Bridges","year":"1999","unstructured":"Bridges, D.S.: Constructive mathematics: A foundation for computable analysis. Theor. Comput. Sci.\u00a0219(1-2), 95\u2013109 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"10","key":"3_CR4","doi-asserted-by":"publisher","first-page":"2220","DOI":"10.1016\/j.patcog.2008.12.005","volume":"42","author":"A. Chollet","year":"2009","unstructured":"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\u00a042(10), 2220\u20132228 (2009)","journal-title":"Pattern Recognition"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chollet, A., Wallet, G., Fuchs, L., Largeteau-Skapin, G., Andres, E.: \u03c9-arithmetization: a discrete multi-resolution representation of real functions. In: Wiederhold, P., Barneva, R.P. (eds.) IWCIA 2009. LNCS, vol.\u00a05852, pp. 316\u2013329. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-10210-3_25"},{"key":"3_CR6","first-page":"424","volume-title":"Le Labyrinthe du Continu","author":"M. Diener","year":"1992","unstructured":"Diener, M.: Application du calcul de Harthong-Reeb aux routines graphiques. In: Salanskis, J.-M., Sinaceurs, H. (eds.) Le Labyrinthe du Continu, pp. 424\u2013435. Springer, Heidelberg (1992)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-79126-3_4","volume-title":"Discrete Geometry for Computer Imagery","author":"L. Fuchs","year":"2008","unstructured":"Fuchs, L., Largeteau-Skapin, G., Wallet, G., Andres, E., Chollet, A.: A first look into a formal and constructive approach for discrete geometry using nonstandard analysis. In: Coeurjolly, D., Sivignon, I., Tougne, L., Dupont, F. (eds.) DGCI 2008. LNCS, vol.\u00a04992, pp. 21\u201332. Springer, Heidelberg (2008)"},{"key":"3_CR8","unstructured":"Harthong, J.: \u00c9l\u00e9ments pour une th\u00e9orie du continu. Ast\u00e9risque\u00a0(109\/110), 235\u2013244 (1983)"},{"key":"3_CR9","unstructured":"Holin, H.: Harthong-Reeb circles. S\u00e9minaire Non Standard, Univ. de Paris 7 (89\/2), 1\u201330 (1989)"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/BF01900842","volume":"8","author":"H. Holin","year":"1991","unstructured":"Holin, H.: Harthong-Reeb analysis and digital circles. The Visual Computer\u00a08(1), 8\u201317 (1991)","journal-title":"The Visual Computer"},{"key":"3_CR11","unstructured":"INRIA-consortium. Le langage Caml, http:\/\/www.ocaml.org\/"},{"key":"3_CR12","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/BFb0065337","volume-title":"Nonstandard Analysis \u2013 Recent Developments","author":"D. Laugwitz","year":"1983","unstructured":"Laugwitz, D.: \u03a9-calculus as a generalization of field extension. In: Hurd, A. (ed.) Nonstandard Analysis \u2013 Recent Developments. Lecture Notes in Mathematics, vol.\u00a0983, pp. 144\u2013155. Springer, Heidelberg (1983)"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01187391","volume":"69","author":"C. Schmieden","year":"1958","unstructured":"Schmieden, C., Laugwitz, D.: Eine erweiterung der Infinitesimalrechnung. Mathematische Zeitschrift\u00a069(1), 1\u201339 (1958)","journal-title":"Mathematische Zeitschrift"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P.: Constructive mathematics and computer programming. In: Logic, Methodology and Philosophy of Science VI, pp. 153\u2013175 (1980)","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"3_CR15","volume-title":"Intuitionnistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionnistic Type Theory. Bibliopolis, Napoli (1984)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-52335-9_54","volume-title":"COLOG-88","author":"P. Martin-L\u00f6f","year":"1990","unstructured":"Martin-L\u00f6f, P.: Mathematics of infinity. In: Gilbert, J.R., Karlsson, R. (eds.) COLOG 1988. LNCS, vol.\u00a0417, pp. 146\u2013197. Springer, Heidelberg (1990)"},{"issue":"6","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1090\/S0002-9904-1977-14398-X","volume":"83","author":"E. Nelson","year":"1977","unstructured":"Nelson, E.: Internal set theory: A new approach to nonstandard analysis. Bulletin of the American Mathematical Society\u00a083(6), 1165\u20131198 (1977)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"3_CR18","unstructured":"Reveill\u00e8s, J.-P.: G\u00e9om\u00e9trie Discr\u00e8te, Calcul en Nombres Entiers et Algorithmique. PhD thesis, Universit\u00e9 Louis Pasteur, Strasbourg, France (1991)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-04397-0_30","volume-title":"Discrete Geometry for Computer Imagery","author":"A. Richard","year":"2009","unstructured":"Richard, A., Wallet, G., Fuchs, L., Andres, E., Largeteau-Skapin, G.: Arithmetization of a circular arc. In: Brlek, S., Reutenauer, C., Proven\u00e7al, X. (eds.) DGCI 2009. LNCS, vol.\u00a05810, pp. 350\u2013361. Springer, Heidelberg (2009)"},{"key":"3_CR20","volume-title":"Non-standard Analysis","author":"A. Robinson","year":"1974","unstructured":"Robinson, A.: Non-standard Analysis, 2nd edn. American Elsevier, New York (1974)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computational Modeling of Objects Represented in Images"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12712-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:56:46Z","timestamp":1606186606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12712-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642127113","9783642127120"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12712-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}