{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:07Z","timestamp":1725486127072},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679158"},{"type":"electronic","value":"9783540445906"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44590-0_26","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T23:01:29Z","timestamp":1180825289000},"page":"286-299","source":"Crossref","is-referenced-by-count":3,"title":["A Proposal for Automating Diagrammatic Reasoning in Continuous Domains"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Winterstein","sequence":"first","affiliation":[]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"26_CR1","unstructured":"D. Barker-Plummer, S. C. Bailin, and S. M. Ehrlichman. Diagrams and mathematics, November 1995. Draft copy of an unpublished paper."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"J. Barwise and J. Etchemendy. Heterogeneous logic. In J. Glasgow, N. H. Narayanan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 211\u2013234. AAAI Press\/The MIT Press, 1995.","DOI":"10.1093\/oso\/9780195104271.003.0014"},{"key":"26_CR3","unstructured":"P. Hayes. Introduction to \u201cDiagrammatic Reasoning: Theoretical Foundations\u201d. In J. Glasgow, N. H. Narayanan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI Press\/The MIT Press, 1995."},{"key":"26_CR4","unstructured":"M. Jamnik. Automating Diagrammatic Proofs of Arithmetic Arguments PhD thesis, Division of Informatics, University of Edinburgh, 1999."},{"issue":"3","key":"26_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1008323427489","volume":"8","author":"M. Jamnik","year":"1999","unstructured":"M. Jamnik, A. Bundy, and I. Green. On automating diagrammatic proofs of arithmetic arguments. Journal of Logic, Language and Information, 8(3):297\u2013321, 1999.","journal-title":"Journal of Logic, Language and Information"},{"key":"26_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46581-2","volume-title":"Principles and Practice of Constraint Programming (CP99)","author":"B. Meyer","year":"1999","unstructured":"B Meyer. Constraint diagram reasoning. In J Jaffar, editor, Principles and Practice of Constraint Programming (CP99), number 1713 in Lecture Notes in Computer Science. Springer-Verlag, 1999."},{"key":"26_CR7","unstructured":"R. B. Nelsen. Proofs without Words: Exercises in Visual Thinking. The Mathematical Association of America, 1993."},{"key":"26_CR8","unstructured":"J. J. O\u2019Connor and E. F. Robertson. Abu Ja\u2019far Muhammad ibn Musa Al-Khwarizm, July 1999. From online software \u201cThe MacTutor History of Mathematics Archive\u201d. http:\/\/www-history.mcs.st-and.ac.uk\/history\/Mathematicians\/Al-Khwarizmi.html"},{"key":"26_CR9","unstructured":"J. J. O\u2019Connor and E. F. Robertson. Pythagoras of Samos, July 1999. From online software \u201cThe MacTutor History of Mathematics Archive\u201d. http:\/\/www-history.mcs.st-and.ac.uk\/history\/Mathematicians\/Pythagoras.html ."},{"key":"26_CR10","volume-title":"Mathematical Maxims and Minims","author":"N. Rose","year":"1988","unstructured":"N. Rose. Mathematical Maxims and Minims. Rome Press Inc., Raleigh, NC, USA, 1988."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"S. J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511574696"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Diagrams"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44590-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T04:29:04Z","timestamp":1683865744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44590-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679158","9783540445906"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44590-0_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}