{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:31:23Z","timestamp":1725507083393},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540791256"},{"type":"electronic","value":"9783540791263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79126-3_4","type":"book-chapter","created":{"date-parts":[[2008,4,4]],"date-time":"2008-04-04T14:48:22Z","timestamp":1207320502000},"page":"21-32","source":"Crossref","is-referenced-by-count":6,"title":["A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00eblle","family":"Largeteau-Skapin","sequence":"additional","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":"Agathe","family":"Chollet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","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":"4_CR2","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":"4_CR3","unstructured":"Harthong, J.: Une th\u00e9orie du continu. In: Barreau, H., Harthong, J. (eds.) La math\u00e9matiques non standard, Paris, Editions du CNRS, pp. 307\u2013329 (1989)"},{"key":"4_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)"},{"key":"4_CR5","first-page":"153","volume":"VI","author":"P. Martin-Lof","year":"1980","unstructured":"Martin-Lof, P.: Constructive mathematics and computer programming. Logic, Methodology and Philosophy of Science\u00a0VI, 153\u2013175 (1980)","journal-title":"Logic, Methodology and Philosophy of Science"},{"key":"4_CR6","unstructured":"Howard, W.A.: The formulae-as-types notion of construction. H.B. Curry: Essays on Combinatory Logic, Lambda-calculus and Formalism, 479\u2013490 (1980)"},{"key":"4_CR7","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, 95\u2013109 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Mc Laughlin, W.I.: Resolving Zeno\u2019s paradoxes. Scientific American, 84\u201389 (1994)","DOI":"10.1038\/scientificamerican1194-84"},{"key":"4_CR9","volume-title":"Analyse Non Standard","author":"F. Diener","year":"1989","unstructured":"Diener, F., Reeb, G.: Analyse Non Standard. Hermann, Paris (1989)"},{"key":"4_CR10","unstructured":"Diener, M.: Application du calcul de Harthong-Reeb aux routines graphiques. In: [11], pp. 424\u2013435"},{"volume-title":"Le Labyrinthe du Continu","year":"1992","key":"4_CR11","unstructured":"Salanski, J.M., Sinaceurs, H. (eds.): Le Labyrinthe du Continu. Springer, Heidelberg (1992)"},{"key":"4_CR12","volume-title":"Foundations of Constructive Analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"4_CR13","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":"4_CR14","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"},{"key":"4_CR15","first-page":"323","volume":"3","author":"T. Coquand","year":"1986","unstructured":"Coquand, T., Huet, G.P.: A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. j-J-SYMBOLIC-COMP\u00a03, 323\u2013328 (1986)","journal-title":"j-J-SYMBOLIC-COMP"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.P.: The calculus of constructions. Inf. Comput.\u00a076, 95\u2013120 (1988)","journal-title":"Inf. Comput."},{"key":"4_CR17","series-title":"A Series of Modern Surveys in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of constructive Mathematics","author":"M.J. Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of constructive Mathematics. A Series of Modern Surveys in Mathematics. Springer, Heidelberg (1985)"},{"key":"4_CR18","volume-title":"Constructivism in Mathematics: An Introduction","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An Introduction, vol.\u00a0I. North-Holland, Amsterdam (1988)"},{"key":"4_CR19","unstructured":"Heyting, A.: Intuitionism an introduction. Studies in Logic and Foundations of Mathematics (1956)"},{"key":"4_CR20","volume-title":"Implementing Mathematics with the Nuprl Development System","author":"R.L. Constable","year":"1986","unstructured":"Constable, R.L., Allen, S.F., Bromley, H.M., Cleaveland, W.R., Cremer, J.F., Harper, R.W., Howe, D.J., Knoblock, T.B., Mendler, N.P., Panangaden, P., Sasaki, J.T., Smith, S.F.: Implementing Mathematics with the Nuprl Development System. Prentice-Hall, Englewood Cliffs (1986)"},{"key":"4_CR21","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":"4_CR22","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0168-0072(94)00030-7","volume":"73","author":"E. Palmgren","year":"1995","unstructured":"Palmgren, E.: A constructive approach to nonstandard analysis. Annals of Pure and Applied Logic\u00a073, 297\u2013325 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.2307\/421031","volume":"4","author":"E. Palmgren","year":"1998","unstructured":"Palmgren, E.: Developments in constructive nonstandard analysis. The Bulletin of Symbolic Logic\u00a04, 233\u2013272 (1998)","journal-title":"The Bulletin of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Discrete Geometry for Computer Imagery"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79126-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:11:17Z","timestamp":1619521877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79126-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540791256","9783540791263"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79126-3_4","relation":{},"subject":[]}}