{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T22:24:16Z","timestamp":1751495056143},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T00:00:00Z","timestamp":1581379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T00:00:00Z","timestamp":1581379200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s11786-020-00457-1","type":"journal-article","created":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T11:03:01Z","timestamp":1581418981000},"page":"607-621","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Problem Solving as a Path to Comprehension"],"prefix":"10.1007","volume":"14","author":[{"given":"Seyeon","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Pollanen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael G.","family":"Reynolds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wesley S.","family":"Burr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,11]]},"reference":[{"issue":"2","key":"457_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10763-013-9484-y","volume":"13","author":"C Andr\u00e1","year":"2015","unstructured":"Andr\u00e1, C., Lindstr\u00f6m, P., Arzarello, F., Holmqvist, K., Robutti, O., Sabena, C.: Reading mathematics representations: an eye-tracking study. Int. J. Sci. Math. Educ. 13(2), 237\u2013259 (2015)","journal-title":"Int. J. Sci. Math. Educ."},{"key":"457_CR2","doi-asserted-by":"crossref","unstructured":"Blostein, D., Grbavec, A.: Recognition of mathematical notation. Handbook of Character Recognition and Document Image Analysis, pp. 557\u2013582 (1997)","DOI":"10.1142\/9789812830968_0021"},{"issue":"7","key":"457_CR3","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.3758\/s13421-013-0315-8","volume":"41","author":"DL Chesney","year":"2013","unstructured":"Chesney, D.L., McNeil, N.M., Brockmole, J.R., Kelly, K.: An eye for relations: eye-tracking indicates long-term negative effects of operational thinking on understanding of math equivalence. Mem. Cogn. 41(7), 1079\u20131095 (2013)","journal-title":"Mem. Cogn."},{"key":"457_CR4","doi-asserted-by":"publisher","unstructured":"Clifton, C., Staub, A., Rayner, K.: Eye movements in reading words and sentences. In: Eye Movements: a Window on Mind and Brain, pp. 341\u2013371 (2007). https:\/\/doi.org\/10.1016\/B978-008044980-7\/50017-3","DOI":"10.1016\/B978-008044980-7\/50017-3"},{"issue":"5416","key":"457_CR5","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1126\/science.284.5416.970","volume":"284","author":"S Dehaene","year":"1999","unstructured":"Dehaene, S., Spelke, E., Pinel, P., Stanescu, R., Tsivkin, S.: Sources of mathematical thinking: behavioral and brain-imaging evidence. Science 284(5416), 970\u2013974 (1999)","journal-title":"Science"},{"key":"457_CR6","doi-asserted-by":"crossref","unstructured":"Gozli, D. G., Pollanen, M., Reynolds, M. The Characteristics of writing environments for mathematics: behavioral consequences and implications for software design and usability. In: International Conference on Intelligent Computer Mathematics (ICIMS), pp. 310\u2013324, Springer (2009)","DOI":"10.1007\/978-3-642-02614-0_26"},{"key":"457_CR7","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1006\/jmla.1993.1036","volume":"32","author":"M Hegarty","year":"1993","unstructured":"Hegarty, M., Just, M.A.: Constructing mental models of machines from text and diagrams. J. Mem. Lang. 32, 717\u2013742 (1993)","journal-title":"J. Mem. Lang."},{"key":"457_CR8","volume-title":"Eye Tracking: A Comprehensive Guide to Methods and Measures","author":"K Holmqvist","year":"2011","unstructured":"Holmqvist, K., Nystr\u00f6m, M., Andersson, R., Dewhurst, R., Jarodzka, H., Van de Weijer, J.: Eye Tracking: A Comprehensive Guide to Methods and Measures. OUP, Oxford (2011)"},{"key":"457_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1037\/0033-295X.87.4.329","volume":"87","author":"MA Just","year":"1980","unstructured":"Just, M.A., Carpenter, P.A.: A theory of reading: from eye fixation to comprehension. Psychol. Rev. 87, 329\u2013354 (1980)","journal-title":"Psychol. Rev."},{"key":"457_CR10","doi-asserted-by":"crossref","unstructured":"Kim, S., Pollanen, M., Reynolds, M.G., Burr, W.S.: Identification of errors in mathematical symbolism and notation: implications for software design. In: International Congress on Mathematical Software, pp. 297\u2013304. Springer (2018)","DOI":"10.1007\/978-3-319-96418-8_35"},{"key":"457_CR11","unstructured":"Kohlhase, A., F\u00fcrsich, M.: Understanding Mathematical Expressions: An Eye-Tracking Study. FM4M\/MathUI\/ThEdu\/DP\/WIP@ CIKM, pp. 42\u201350 (2016)"},{"key":"457_CR12","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.edurev.2013.10.001","volume":"10","author":"M-L Lai","year":"2013","unstructured":"Lai, M.-L., Tsai, M.-J., Yang, F.-Y., Hsu, C.-Y., et al.: A review of using eye-tracking technology in exploring learning from 2000 to 2012. Educ. Res. Rev. 10, 90\u2013115 (2013). Elsevier","journal-title":"Educ. Res. Rev."},{"issue":"3","key":"457_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.2307\/749345","volume":"24","author":"M MacGregor","year":"1993","unstructured":"MacGregor, M., Stacey, K.: Cognitive models underlying students\u2019 formulation of simple linear equations. J. Res. Math. Educ. 24(3), 217\u2013232 (1993)","journal-title":"J. Res. Math. Educ."},{"key":"457_CR14","unstructured":"Pollanen, M., Reynolds, M.G.: A model for effective real-time entry of mathematical expressions. In: Research, Reflections and Innovations in Integrating ICT in Education, pp. 1235\u20131512. FORMATEX (2009)"},{"key":"457_CR15","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1037\/0033-2909.124.3.372","volume":"124","author":"K Rayner","year":"1998","unstructured":"Rayner, K.: Eye movements in reading and information processing: 20 years of research. Psychol. Bull. 124, 372\u2013422 (1998)","journal-title":"Psychol. Bull."},{"key":"457_CR16","first-page":"1","volume":"24","author":"ATM Singley","year":"2017","unstructured":"Singley, A.T.M., Silvia, A.: Eye gaze patterns reveal how we reason about fractions. Think. Reason. 24, 1\u201324 (2017)","journal-title":"Think. Reason."},{"issue":"2","key":"457_CR17","doi-asserted-by":"publisher","first-page":"020118","DOI":"10.1103\/PhysRevSTPER.6.020118","volume":"6","author":"AD Smith","year":"2010","unstructured":"Smith, A.D., Mestre, J.P., Ross, B.H.: Eye-gaze patterns as students study worked-out examples in mechanics. Phys. Rev. Spec. Top.-Phys. Educ. Res. 6(2), 020118 (2010)","journal-title":"Phys. Rev. Spec. Top.-Phys. Educ. Res."},{"issue":"3","key":"457_CR18","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/s10763-014-9514-4","volume":"12","author":"ANA Susac","year":"2014","unstructured":"Susac, A.N.A., Bubic, A., Kaponja, J., Planinic, M., Palmovic, M.: Eye movements reveal students\u2019 strategies in simple equation solving. Int. J. Sci. Math. Educ. 12(3), 555\u2013577 (2014). Springer","journal-title":"Int. J. Sci. Math. Educ."},{"key":"457_CR19","doi-asserted-by":"publisher","first-page":"2191","DOI":"10.1001\/jama.2013.281053","volume":"310","author":"World Medical Association","year":"2013","unstructured":"World Medical Association: Declaration of Helsinki: ethical principles for medical research involving human subjects. JAMA 310, 2191\u20132194 (2013)","journal-title":"JAMA"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00457-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-020-00457-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00457-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,10]],"date-time":"2021-02-10T06:35:16Z","timestamp":1612938916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-020-00457-1"}},"subtitle":["Mathematical Software and Structured Symbolism"],"short-title":[],"issued":{"date-parts":[[2020,2,11]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["457"],"URL":"https:\/\/doi.org\/10.1007\/s11786-020-00457-1","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,11]]},"assertion":[{"value":"1 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 December 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}