{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:58:08Z","timestamp":1725890288356},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851097"},{"type":"electronic","value":"9783540851103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85110-3_39","type":"book-chapter","created":{"date-parts":[[2008,7,26]],"date-time":"2008-07-26T06:00:32Z","timestamp":1217052032000},"page":"478-493","source":"Crossref","is-referenced-by-count":4,"title":["Visual Mathematics: Diagrammatic Formalization and Proof"],"prefix":"10.1007","author":[{"given":"John","family":"Howse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Barwise, J., Etchemendy, J.: Language Proof and Logic. CSLI (1999)"},{"key":"39_CR2","unstructured":"Chow, S.: Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis. University of Victoria (2007)"},{"key":"39_CR3","unstructured":"Dau, F.: http:\/\/www.dr-dau.net\/eg_readings.shtml (2006)"},{"key":"39_CR4","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing\u00a016, 541\u2013573 (2005)","journal-title":"Journal of Visual Languages and Computing"},{"key":"39_CR5","first-page":"61","volume-title":"Proceedings of 2nd International Conference on the Theory and Application of Diagrams","author":"J. Flower","year":"2002","unstructured":"Flower, J., Howse, J.: Generating Euler diagrams. In: Proceedings of 2nd International Conference on the Theory and Application of Diagrams, Georgia, USA, April 2002, pp. 61\u201375. Springer, Heidelberg (2002)"},{"key":"39_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-25931-2_17","volume-title":"Diagrammatic Representation and Inference","author":"J. Flower","year":"2004","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 166\u2013181. Springer, Heidelberg (2004)"},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"Giaquinto, M.: Visual Thinking in Mathematics. Clarendon Press (2007)","DOI":"10.1093\/acprof:oso\/9780199285945.001.0001"},{"key":"39_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/HCC.2001.995238","volume-title":"Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments","author":"C. Gurr","year":"2001","unstructured":"Gurr, C.: Aligning syntax and semantics in formalisations of visual languages. In: Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments, pp. 60\u201361. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"39_CR9","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1145\/337180.337371","volume-title":"Proceedings of 22nd International Conference on Software Engineering","author":"C. Gurr","year":"2000","unstructured":"Gurr, C., Tourlas, K.: Towards the principled design of software engineering diagrams. In: Proceedings of 22nd International Conference on Software Engineering, pp. 509\u2013518. ACM Press, New York (2000)"},{"key":"39_CR10","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/s10270-004-0074-x","volume":"4","author":"J. Howse","year":"2005","unstructured":"Howse, J., Schuman, S.: Precise visual modelling. Journal of Software and Systems Modeling\u00a04, 310\u2013325 (2005)","journal-title":"Journal of Software and Systems Modeling"},{"key":"39_CR11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"39_CR12","unstructured":"Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI (2001)"},{"key":"39_CR13","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"Proceedings of OOPSLA 1997","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"39_CR14","first-page":"102","volume-title":"6th Asia Pacific Software Engineering Conference","author":"S.-K. Kim","year":"1999","unstructured":"Kim, S.-K., Carrington, D.: Visualization of formal specifications. In: 6th Asia Pacific Software Engineering Conference, pp. 102\u2013109. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"39_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-25931-2_9","volume-title":"Diagrammatic Representation and Inference","author":"P. Mutton","year":"2004","unstructured":"Mutton, P., Rodgers, P., Flower, J.: Drawing graphs in Euler diagrams. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 66\u201381. Springer, Heidelberg (2004)"},{"key":"39_CR16","unstructured":"Nelson, R.: Proofs without Words: Exercises in Visual Thinking, vol. 1. The Mathematical Association of America (1997)"},{"key":"39_CR17","volume-title":"12th International Conference on Information Visualization","author":"P. Rodgers","year":"2008","unstructured":"Rodgers, P., Zhang, L., Stapleton, G., Fish, A.: Embedding wellformed euler diagrams. In: 12th International Conference on Information Visualization. IEEE, Los Alamitos (2008)"},{"key":"39_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-540-25931-2_3","volume-title":"Diagrammatic Representation and Inference","author":"A. Shimojima","year":"2004","unstructured":"Shimojima, A.: Inferential and expressive capacities of graphical representations: Survey and some generalizations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 18\u201321. Springer, Heidelberg (2004)"},{"key":"39_CR19","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"key":"39_CR20","doi-asserted-by":"crossref","unstructured":"Shin, S.-J.: The Iconic Logic of Peirce\u2019s Graphs. Bradford Book (2002)","DOI":"10.7551\/mitpress\/3633.001.0001"},{"key":"39_CR21","unstructured":"Sobanski, J.: Visual Math: See How Math Makes Sense. Learning Express (2002)"},{"key":"39_CR22","doi-asserted-by":"crossref","unstructured":"Stapleton, G., Delaney, A.: Towards overcoming deficiencies in constraint diagrams. In: IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 33\u201340 (2007)","DOI":"10.1109\/VLHCC.2007.13"},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Stapleton, G., Delaney, A.: Evaluating and generalizing constraint diagrams. Visual Languages and Computing (available online) (accepted, 2008)","DOI":"10.1016\/j.jvlc.2008.04.003"},{"issue":"6","key":"39_CR24","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1093\/logcom\/exi041","volume":"15","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G., Howse, J., Taylor, J.: A decidable constraint diagram reasoning system. Journal of Logic and Computation\u00a015(6), 975\u20131008 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"39_CR25","unstructured":"Stapleton, G., Masthoff, J.: Incorporating negation into visual logics: A case study using Euler diagrams. In: Visual Languages and Computing 2007, pp. 187\u2013194. Knowledge Systems Institute (2007)"},{"key":"39_CR26","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s10817-007-9069-y","volume":"39","author":"G. Stapleton","year":"2007","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning\u00a039, 431\u2013470 (2007)","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"39_CR27","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N. Swoboda","year":"2004","unstructured":"Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling\u00a03(2), 136\u2013149 (2004)","journal-title":"Journal on Software and System Modeling"},{"key":"39_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-3-540-25984-8_24","volume-title":"Automated Reasoning","author":"D. Winterstein","year":"2004","unstructured":"Winterstein, D., Bundy, A., Gurr, C.: Dr Doodle: A diagrammatic theorem prover. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 331\u2013335. Springer, Heidelberg (2004)"},{"key":"39_CR29","doi-asserted-by":"crossref","unstructured":"Winterstein, D., Bundy, A., Gurr, C., Jamnik, M.: An experimental comparison of diagrammatic and algebraic logics. In: International Conference on the Theory and Application of Diagrams, pp. 432\u2013434 (2004)","DOI":"10.1007\/978-3-540-25931-2_57"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85110-3_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T09:59:21Z","timestamp":1684490361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85110-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851097","9783540851103"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85110-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}