{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:00:26Z","timestamp":1725541226035},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642102080"},{"type":"electronic","value":"9783642102103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10210-3_25","type":"book-chapter","created":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T04:39:26Z","timestamp":1258432766000},"page":"316-329","source":"Crossref","is-referenced-by-count":4,"title":["\u03a9-Arithmetization: A Discrete Multi-resolution Representation of Real Functions"],"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":"Laurent","family":"Fuchs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Andres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00eblle","family":"Largeteau-Skapin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","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. Theoretical Computer Science\u00a0219, 95\u2013109 (1999)","journal-title":"Theoretical Computer Science"},{"key":"25_CR2","unstructured":"Bridges, D., Reeves, S.: Constructive mathematics, in theory and programming practice. Technical Report CDMTCS-068, Centre for Discrete Mathematics and Theorical Computer Science (1997)"},{"key":"25_CR3","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, 2220\u20132228 (2009)","journal-title":"Pattern Recognition"},{"key":"25_CR4","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":"25_CR5","volume-title":"Analyse Non Standard","author":"F. Diener","year":"1989","unstructured":"Diener, F., Reeb, G.: Analyse Non Standard. Hermann, Paris (1989)"},{"key":"25_CR6","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":"25_CR7","first-page":"235","volume":"109\/110","author":"J. Harthong","year":"1983","unstructured":"Harthong, J.: \u00c9l\u00e9ments pour une th\u00e9orie du continu. Ast\u00e9risque\u00a0109\/110, 235\u2013244 (1983)","journal-title":"Ast\u00e9risque"},{"key":"25_CR8","unstructured":"Harthong, J.: Une th\u00e9orie du continu. In: Barreau, H., Harthong, J. (eds.) La math\u00e9matiques non standard, \u00c9ditions du CNRS, pp. 307\u2013329 (1989)"},{"key":"25_CR9","unstructured":"INRIA: The caml language, http:\/\/www.ocaml.org"},{"key":"25_CR10","first-page":"144","volume-title":"Le Labyrinthe du Continu","author":"D. Laugwitz","year":"1992","unstructured":"Laugwitz, D.: Leibniz\u2019 principle and omega calculus. In: Salanskis, J., Sinacoeur, H. (eds.) Le Labyrinthe du Continu, pp. 144\u2013155. Springer, France (1992)"},{"key":"25_CR11","series-title":"Lecture Notes in Mathematics","first-page":"144","volume-title":"Nonstandard Analysis - Recent developments","author":"D. Laugwitz","year":"1983","unstructured":"Laugwitz, D.: \u03a9-calculus as a generalization of field extension. In: Hurd, A. (ed.) Nonstandard Analysis - Recent developments. Lecture Notes in Mathematics, pp. 144\u2013155. Springer, Heidelberg (1983)"},{"key":"25_CR12","first-page":"1","volume":"89","author":"D. Laugwitz","year":"1958","unstructured":"Laugwitz, D., Schmieden, C.: Eine Erweiterung der Infinitesimalrechnung. Mathematische Zeitschrift\u00a089, 1\u201339 (1958)","journal-title":"Mathematische Zeitschrift"},{"key":"25_CR13","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":"25_CR14","volume-title":"Intuitionnistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionnistic Type Theory. Bibliopolis, Napoli (1984)"},{"key":"25_CR15","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: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol.\u00a0417, pp. 146\u2013197. Springer, Heidelberg (1990)"},{"key":"25_CR16","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, 1165\u20131198 (1977)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"25_CR17","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":"25_CR18","first-page":"382","volume-title":"Le Labyrinthe du Continu","author":"J.P. Reveill\u00e8s","year":"1992","unstructured":"Reveill\u00e8s, J.P.: Math\u00e9matiques discr\u00e8tes et analyse non standard. In: Salanskis, J.M., Sinaceurs, H. (eds.) Le Labyrinthe du Continu, pp. 382\u2013390. Springer, Heidelberg (1992)"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF02127796","volume":"16","author":"J.P. Reveill\u00e8s","year":"1996","unstructured":"Reveill\u00e8s, J.P., Richard, D.: Back and forth between continuous and discrete for the working computer scientist. Annals of Mathematics and Artificial Intelligence, Mathematics and Informatic\u00a016, 89\u2013152 (1996)","journal-title":"Annals of Mathematics and Artificial Intelligence, Mathematics and Informatic"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Richard, A., Wallet, G., Fuchs, L., Andres, E., Largeteau-Skapin, G.: Arithmetization of a circular arc. In: DGCI 2009, Montreal, Canada (2009) (to be published)","DOI":"10.1007\/978-3-642-04397-0_30"},{"key":"25_CR21","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","Combinatorial Image Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10210-3_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:52:11Z","timestamp":1606168331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10210-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102080","9783642102103"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10210-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}