{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T05:14:08Z","timestamp":1648962848601},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf02127796","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T07:24:30Z","timestamp":1126769070000},"page":"89-152","source":"Crossref","is-referenced-by-count":11,"title":["Back and forth between continuous and discrete for the working computer scientist"],"prefix":"10.1007","volume":"16","author":[{"given":"Jean-Pierre","family":"Reveill\u00e8s","sequence":"first","affiliation":[]},{"given":"Denis","family":"Richard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02127796_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1147\/sj.41.0025","volume":"4","author":"J. Bresenham","year":"1965","unstructured":"J. Bresenham, Algorithm for computer control of a digital plotter, IBM Syst. J. 4(1965)25\u201330.","journal-title":"IBM Syst. J."},{"key":"BF02127796_CR2","volume-title":"Model Theory","author":"C.C. Chang","year":"1977","unstructured":"C.C. Chang and H.J. Keisler,Model Theory, 2nd ed. (North-Holland, Amsterdam, 1977).","edition":"2nd ed."},{"key":"BF02127796_CR3","unstructured":"J.M. Chassery and A. Montanvert,G\u00e9om\u00e9trie Discr\u00e8te (Editions Herm\u00e8s, 1991)."},{"key":"BF02127796_CR4","unstructured":"M. Davis,Applied Non-Standard Analysis (Wiley-Interscience, 1977)."},{"key":"BF02127796_CR5","unstructured":"M. Diener, Application du calcul de Harthong-Reeb aux routines graphiques,S\u00e9minaire Non-Standard, Universit\u00e9 Paris 7 (1988)."},{"key":"BF02127796_CR6","unstructured":"G.H. Hardy and E.M. Wright,An Introduction to the Theory of Numbers, 5th ed. (Oxford University Press, 1989)."},{"key":"BF02127796_CR7","first-page":"109","volume":"235","author":"J. Harthong","year":"1983","unstructured":"J. Harthong, El\u00e9ments pour une th\u00e9orie du continu, Ast\u00e9risque 235(1983)109\u2013110.","journal-title":"Ast\u00e9risque"},{"key":"BF02127796_CR8","volume-title":"Applications quasi-affines","author":"M.A. Jacob","year":"1993","unstructured":"M.A. Jacob, Applications quasi-affines, Th\u00e8se, Universit\u00e9 Louis Pasteur, Strasbourg (1993)."},{"key":"BF02127796_CR9","unstructured":"J. Keisler,Elementary Calculus (Prindle-Weber & Schmidt, Boston, MA)."},{"key":"BF02127796_CR10","volume-title":"Applications quasi-affines discr\u00e8tes et antialiassage","author":"P. Nehlig","year":"1992","unstructured":"P. Nehlig, Applications quasi-affines discr\u00e8tes et antialiassage, Th\u00e8se, Universit\u00e9 Louis Pasteur, Strasbourg (1992)."},{"key":"BF02127796_CR11","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1090\/S0002-9904-1977-14398-X","volume":"83","author":"E. Nelson","year":"1977","unstructured":"E. Nelson, Internal set theory, BAMS 83(1977)1165\u20131198.","journal-title":"BAMS"},{"key":"BF02127796_CR12","volume-title":"Equations diff\u00e9rentielles et nombres entiers","author":"G. Reeb","year":"1987","unstructured":"G. Reeb, J.P. Reveill\u00e8s, A. Troesch and E. Urlacher, Equations diff\u00e9rentielles et nombres entiers, Preprint, IRMA Universit\u00e9 Louis Pasteur, Strasbourg (1987)."},{"key":"BF02127796_CR13","volume-title":"Simulation arithm\u00e9tique du continu","author":"J.P. Reveill\u00e8s","year":"1987","unstructured":"J.P. Reveill\u00e8s, Simulation arithm\u00e9tique du continu, Preprint, IRMA, Universit\u00e9 Louis Pasteur, Strabourg (1987)."},{"key":"BF02127796_CR14","first-page":"81","volume-title":"PIXIM 88","author":"J.P. Reveill\u00e8s","year":"1988","unstructured":"J.P. Reveill\u00e8s, Les paliers des droites de Bresenham, in:PIXIM 88 (Herm\u00e8s Ed, Paris, 1988) pp. 81\u2013101."},{"key":"BF02127796_CR15","volume-title":"G\u00e9om\u00e9trie Discr\u00e8te, Calcul en nombres entiers et algorithmique","author":"J.P. Reveill\u00e8s","year":"1991","unstructured":"J.P. Reveill\u00e8s, G\u00e9om\u00e9trie Discr\u00e8te, Calcul en nombres entiers et algorithmique, Th\u00e8se, Universit\u00e9 Louis Pasteur, Strasbourg (1991)."},{"key":"BF02127796_CR16","volume-title":"Lib\u00e9rez les chiffres \u2014 Continuit\u00e9 et microprocesseur","author":"J.P. Reveill\u00e8s","year":"1987","unstructured":"J.P. Reveill\u00e8s, Lib\u00e9rez les chiffres \u2014 Continuit\u00e9 et microprocesseur, Preprint, IRMA, Universit\u00e9 Louis Pasteur, Stransbourg (1987)."},{"key":"BF02127796_CR17","volume-title":"Structure arithm\u00e9tique du continu","author":"J.P. Reveill\u00e8s","year":"1987","unstructured":"J.P. Reveill\u00e8s, Structure arithm\u00e9tique du continu, Preprint, IRMA, Universit\u00e9 Louis Pasteur, Stransbourg (1987)."},{"key":"BF02127796_CR18","volume-title":"Les droites discr\u00e8tes \u2014 Une d\u00e9finition g\u00e9n\u00e9rale, leurs intersections","author":"J.P. Reveill\u00e8s","year":"1990","unstructured":"J.P. Reveill\u00e8s, Les droites discr\u00e8tes \u2014 Une d\u00e9finition g\u00e9n\u00e9rale, leurs intersections, Preprint, INRIA, Sohpia-Antipolis (1990)."},{"key":"BF02127796_CR19","doi-asserted-by":"crossref","unstructured":"D. Richard, De la structure additive la saturation des mod\u00e8les de Peano et \u00e0 une classification des sous-langages de l'arithm\u00e9tique,Lecture Notes in Mathematics 890, eds. C. Berline, K. McAloon and J.P. Ressayre (Springer, 1981) pp. 270\u2013296.","DOI":"10.1007\/BFb0095669"},{"key":"BF02127796_CR20","unstructured":"D. Richard, On extremal properties of non standard models of arithmetics, Preprint, D\u00e9pt. Math., Universit\u00e9 de Lyon (1977) t. 14-4, pp. 57\u201375."},{"key":"BF02127796_CR21","unstructured":"P. Dehornoy, S. Grigorieff, D. Richard, R. Sami and J. Stern, CIMPA \u2014 L'Analyse non-standard, in Cours de logique du CIMPA (1984)."},{"key":"BF02127796_CR22","volume-title":"Non-Standard Analysis","author":"A. Robinson","year":"1966","unstructured":"A. Robinson,Non-Standard Analysis (North-Holland, Amsterdam, 1966)."},{"issue":"3","key":"BF02127796_CR23","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF03025195","volume":"11","author":"A. Rosenfeld","year":"1989","unstructured":"A. Rosenfeld and R.A. Melter, Digital geometry, Math. Intell. 11(3)(1989)69\u201372.","journal-title":"Digital geometry, Math. Intell."},{"key":"BF02127796_CR24","unstructured":"R. Seroul, Equations diff\u00e9rentielles et nombres entiers ou la m\u00e9thode TRRU,L'ouvert No. 48 (1987)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127796.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02127796\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T13:57:40Z","timestamp":1586440660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02127796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF02127796"],"URL":"https:\/\/doi.org\/10.1007\/bf02127796","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}