{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:05:47Z","timestamp":1766732747396,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,16]],"date-time":"2014-11-16T00:00:00Z","timestamp":1416096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["SFRH\/BD\/29553\/2006"],"award-info":[{"award-number":["SFRH\/BD\/29553\/2006"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,16]]},"DOI":"10.1145\/2669485.2669495","type":"proceedings-article","created":{"date-parts":[[2014,11,17]],"date-time":"2014-11-17T15:46:48Z","timestamp":1416239208000},"page":"139-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Structure Editing of Handwritten Mathematics"],"prefix":"10.1145","author":[{"given":"Alexandra","family":"Mendes","sequence":"first","affiliation":[{"name":"York St John University, York, United Kingdom"}]},{"given":"Roland","family":"Backhouse","sequence":"additional","affiliation":[{"name":"The University of Nottingham, Nottingham, United Kingdom"}]},{"given":"Joao F.","family":"Ferreira","sequence":"additional","affiliation":[{"name":"Teesside University & Universidade do Minho (Portugal), Middlesbrough, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2014,11,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"WIPTE","author":"Anderson R.","year":"2006","unstructured":"Anderson , R. , Anderson , R. , Chung , O. , Davis , K. M. , Davis , P. , Prince , C. , Razmov , V. , and Simon , B . Classroom presenter - a classroom interaction system for active and collaborative learning . In WIPTE ( 2006 ). Anderson, R., Anderson, R., Chung, O., Davis, K. M., Davis, P., Prince, C., Razmov, V., and Simon, B. Classroom presenter - a classroom interaction system for active and collaborative learning. In WIPTE (2006)."},{"key":"e_1_3_2_1_2_1","unstructured":"Backhouse R. Program Construction. John Wiley & Sons 2003.  Backhouse R. Program Construction. John Wiley & Sons 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"Algorithmic Problem Solving","author":"Backhouse R.","year":"2011","unstructured":"Backhouse , R. Algorithmic Problem Solving . John Wiley & Sons , 2011 . Backhouse, R. Algorithmic Problem Solving. John Wiley & Sons, 2011."},{"key":"e_1_3_2_1_4_1","first-page":"80","article-title":"Mathspad: A system for on-line preparation of mathematical documents","volume":"18","author":"Backhouse R.","year":"1997","unstructured":"Backhouse , R. , and Verhoeven , R . Mathspad: A system for on-line preparation of mathematical documents . Software Concepts and Tools 18 ( 1997 ), 80 -- 89 . Backhouse, R., and Verhoeven, R. Mathspad: A system for on-line preparation of mathematical documents. Software Concepts and Tools 18 (1997), 80--89.","journal-title":"Software Concepts and Tools"},{"key":"e_1_3_2_1_5_1","volume-title":"SBM, M. Alexa and E. Y.-L. Do","author":"Bott J. N.","year":"2010","unstructured":"Bott , J. N. , and LaViola Jr ., J. J. A pen-based tool for visualizing vector mathematics . In SBM, M. Alexa and E. Y.-L. Do , Eds., Eurographics Association ( 2010 ), 103--110. Bott, J. N., and LaViola Jr., J. J. A pen-based tool for visualizing vector mathematics. In SBM, M. Alexa and E. Y.-L. Do, Eds., Eurographics Association (2010), 103--110."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024497637"},{"key":"e_1_3_2_1_7_1","volume-title":"Eurographics Association","author":"Cossairt T. J.","year":"2012","unstructured":"Cossairt , T. J. , and LaViola Jr ., J. J. Setpad: A sketch-based tool for exploring discrete math set problems . In SBM, K. Singh and L. B. Kara, Eds., Eurographics Association ( 2012 ), 47--56. Cossairt, T. J., and LaViola Jr., J. J. Setpad: A sketch-based tool for exploring discrete math set problems. In SBM, K. Singh and L. B. Kara, Eds., Eurographics Association (2012), 47--56."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2008.4720288"},{"key":"e_1_3_2_1_9_1","volume-title":"Indirect equality enriched (and a proof by Netty). Available from http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd13xx\/EWD1315.PDF {Last accessed","author":"Dijkstra E. W.","year":"2014","unstructured":"Dijkstra , E. W. Indirect equality enriched (and a proof by Netty). Available from http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd13xx\/EWD1315.PDF {Last accessed : 29 June 2014 }, December 2001. Dijkstra, E. W. Indirect equality enriched (and a proof by Netty). Available from http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd13xx\/EWD1315.PDF {Last accessed: 29 June 2014}, December 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"Dijkstra E. W.","year":"1990","unstructured":"Dijkstra , E. W. , and Scholten , C. S . Predicate Calculus and Program Semantics . Springer Verlag , NY , 1990 . Dijkstra, E. W., and Scholten, C. S. Predicate Calculus and Program Semantics. Springer Verlag, NY, 1990."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1733663.1733795"},{"key":"e_1_3_2_1_12_1","volume-title":"The New York Times","author":"Fitzgerald T. J.","year":"2004","unstructured":"Fitzgerald , T. J. The Tablet PC takes its place in the classroom . The New York Times , 9 September 2004 . Available from http:\/\/www.nytimes.com\/ 2004\/09\/09\/technology\/circuits\/09jott.html {Last accessed: 29 June 2014}. Fitzgerald, T. J. The Tablet PC takes its place in the classroom. The New York Times, 9 September 2004. Available from http:\/\/www.nytimes.com\/2004\/09\/09\/technology\/circuits\/09jott.html {Last accessed: 29 June 2014}."},{"key":"e_1_3_2_1_13_1","volume-title":"Concrete Mathematics: A Foundation for Computer Science","author":"Graham R. L.","year":"1994","unstructured":"Graham , R. L. , Knuth , D. E. , and Patashnik , O . Concrete Mathematics: A Foundation for Computer Science . Addison-Wesley , 1994 . Graham, R. L., Knuth, D. E., and Patashnik, O. Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley, 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A Logical Approach to Discrete Mathematics","author":"Gries D.","year":"1993","unstructured":"Gries , D. , and Schneider , F . A Logical Approach to Discrete Mathematics . Springer Verlag , NY , 1993 . Gries, D., and Schneider, F. A Logical Approach to Discrete Mathematics. Springer Verlag, NY, 1993."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/774833.774846"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAS.2008.21"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015706.1015741"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2386301.2386331"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007996.1008053"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/01449290010020657"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/958220.958239"},{"key":"e_1_3_2_1_22_1","volume-title":"FM'99 Int. Formal Methods Symposium, J. W. Jeanette Wing and J. Davies, Eds., Springer Lect. Notes Comp. Sci. (1709)","author":"Verhoeven R.","year":"1999","unstructured":"Verhoeven , R. , and Backhouse , R . Towards tool support for program verification and construction . In FM'99 Int. Formal Methods Symposium, J. W. Jeanette Wing and J. Davies, Eds., Springer Lect. Notes Comp. Sci. (1709) ( 1999 ), 1128--1146. Verhoeven, R., and Backhouse, R. Towards tool support for program verification and construction. In FM'99 Int. Formal Methods Symposium, J. W. Jeanette Wing and J. Davies, Eds., Springer Lect. Notes Comp. Sci. (1709) (1999), 1128--1146."},{"key":"e_1_3_2_1_23_1","volume-title":"VL\/HCC, G. Costagliola","author":"Wang M.","year":"2011","unstructured":"Wang , M. , Plimmer , B. , Schmieder , P. , Stapleton , G. , Rodgers , P. , and Delaney , A . SketchSet: Creating Euler diagrams using pen or mouse . In VL\/HCC, G. Costagliola , A. J. Ko, A. Cypher, J. Nichols, C. Scaffidi, C. Kelleher, and B. A. Myers, Eds., IEEE ( 2011 ), 75--82. Wang, M., Plimmer, B., Schmieder, P., Stapleton, G., Rodgers, P., and Delaney, A. SketchSet: Creating Euler diagrams using pen or mouse. In VL\/HCC, G. Costagliola, A. J. Ko, A. Cypher, J. Nichols, C. Scaffidi, C. Kelleher, and B. A. Myers, Eds., IEEE (2011), 75--82."},{"key":"e_1_3_2_1_24_1","volume-title":"MathJournal - an interactive tool for the Tablet PC. Available from http:\/\/www.xthink.com\/downloads\/MathJournal_2003.pdf {Last accessed","author":"Wenzel L.","year":"2014","unstructured":"Wenzel , L. , and Dillner , H . MathJournal - an interactive tool for the Tablet PC. Available from http:\/\/www.xthink.com\/downloads\/MathJournal_2003.pdf {Last accessed : 29 June 2014 }. Wenzel, L., and Dillner, H. MathJournal - an interactive tool for the Tablet PC. Available from http:\/\/www.xthink.com\/downloads\/MathJournal_2003.pdf {Last accessed: 29 June 2014}."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85412-8_3"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866029.1866035"}],"event":{"name":"ITS '14: Interactive Tabletops and Surfaces","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Dresden Germany","acronym":"ITS '14"},"container-title":["Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2669485.2669495","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2669485.2669495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:18Z","timestamp":1750227198000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2669485.2669495"}},"subtitle":["Improving the Computer Support for the Calculational Method"],"short-title":[],"issued":{"date-parts":[[2014,11,16]]},"references-count":26,"alternative-id":["10.1145\/2669485.2669495","10.1145\/2669485"],"URL":"https:\/\/doi.org\/10.1145\/2669485.2669495","relation":{},"subject":[],"published":{"date-parts":[[2014,11,16]]},"assertion":[{"value":"2014-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}