{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T19:18:52Z","timestamp":1776107932196,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,2]],"date-time":"2017-05-02T00:00:00Z","timestamp":1493683200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,5,2]]},"DOI":"10.1145\/3025453.3025468","type":"proceedings-article","created":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T12:34:28Z","timestamp":1493814868000},"page":"4692-4702","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Structured Input Improves Usability and Precision for Solving Geometry-based Algebraic Problems"],"prefix":"10.1145","author":[{"given":"Bo","family":"Kang","sequence":"first","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}]},{"given":"Joseph J.","family":"LaViola Jr.","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}]},{"given":"Pamela","family":"Wisniewski","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,5,2]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029632.1029637"},{"key":"e_1_3_2_2_2_1","volume-title":"Proceedings of Graphics Interface","author":"Anthony Lisa","year":"2010","unstructured":"Lisa Anthony and Jacob O Wobbrock . 2010 . A lightweight multistroke recognizer for user interface prototypes . In Proceedings of Graphics Interface 2010. Canadian Information Processing Society, 245--252. Lisa Anthony and Jacob O Wobbrock. 2010. A lightweight multistroke recognizer for user interface prototypes. In Proceedings of Graphics Interface 2010. Canadian Information Processing Society, 245--252."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2012.04.003"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1519052"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449715.1449740"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449715.1449724"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/34.387484"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1353\/jhr.2009.0033"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWFHR.2004.34"},{"key":"e_1_3_2_2_10_1","first-page":"1","article-title":"Analyzing likert data","volume":"50","author":"Boone Harry N","year":"2012","unstructured":"Harry N Boone and Deborah A Boone . 2012 . Analyzing likert data . Journal of extension 50 , 2 (2012), 1 -- 5 . Harry N Boone and Deborah A Boone. 2012. Analyzing likert data. Journal of extension 50, 2 (2012), 1--5.","journal-title":"Journal of extension"},{"key":"e_1_3_2_2_11_1","volume-title":"Using thematic analysis in psychology. Qualitative research in psychology 3, 2","author":"Braun Virginia","year":"2006","unstructured":"Virginia Braun and Victoria Clarke . 2006. Using thematic analysis in psychology. Qualitative research in psychology 3, 2 ( 2006 ), 77--101. Virginia Braun and Victoria Clarke. 2006. Using thematic analysis in psychology. Qualitative research in psychology 3, 2 (2006), 77--101."},{"key":"e_1_3_2_2_12_1","first-page":"10","article-title":"Likert items and scales of measurement. Shiken","volume":"1","author":"Brown James Dean","year":"2011","unstructured":"James Dean Brown . 2011 . Likert items and scales of measurement. Shiken : JALT Testing & Evaluation SIG Newsletter 1 (2011), 10 -- 14 . James Dean Brown. 2011. Likert items and scales of measurement. Shiken: JALT Testing & Evaluation SIG Newsletter 1 (2011), 10--14.","journal-title":"JALT Testing & Evaluation SIG Newsletter"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1434845.1434847"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.3844\/jssp.2007.106.116"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2208550"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2166966.2166977"},{"key":"e_1_3_2_2_17_1","first-page":"1","article-title":"Sketchometry and jsxgraph-dynamic geometry for mobile devices","volume":"21","author":"Ehmann Matthias","year":"2013","unstructured":"Matthias Ehmann , M Gerhauser , Carsten Miller , and Alfred Wassermann . 2013 . Sketchometry and jsxgraph-dynamic geometry for mobile devices . South Bohemia Mathematical Letters 21 , 1 (2013), 1 -- 7 . Matthias Ehmann, M Gerhauser, Carsten Miller, and Alfred Wassermann. 2013. Sketchometry and jsxgraph-dynamic geometry for mobile devices. South Bohemia Mathematical Letters 21, 1 (2013), 1--7.","journal-title":"South Bohemia Mathematical Letters"},{"key":"e_1_3_2_2_18_1","volume-title":"A flexible statistical power analysis program for the social, behavioral, and biomedical sciences. Behavior research methods 39, 2","author":"Faul Franz","year":"2007","unstructured":"Franz Faul , Edgar Erdfelder , Albert-Georg Lang , and Axel Buchner . 2007. G* Power 3 : A flexible statistical power analysis program for the social, behavioral, and biomedical sciences. Behavior research methods 39, 2 ( 2007 ), 175--191. Franz Faul, Edgar Erdfelder, Albert-Georg Lang, and Axel Buchner. 2007. G* Power 3: A flexible statistical power analysis program for the social, behavioral, and biomedical sciences. Behavior research methods 39, 2 (2007), 175--191."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/359784.360278"},{"key":"e_1_3_2_2_20_1","unstructured":"Jennifer French Martin A Segado and Phillip Z Ai. Sketching Graphs in a Calculus MOOC: Preliminary Results. (????).  Jennifer French Martin A Segado and Phillip Z Ai. Sketching Graphs in a Calculus MOOC: Preliminary Results. (????)."},{"key":"e_1_3_2_2_21_1","volume-title":"Consequences of failure to meet assumptions underlying the fixed effects analyses of variance and covariance. Review of educational research 42, 3","author":"Glass Gene V","year":"1972","unstructured":"Gene V Glass , Percy D Peckham , and James R Sanders . 1972. Consequences of failure to meet assumptions underlying the fixed effects analyses of variance and covariance. Review of educational research 42, 3 ( 1972 ), 237--288. Gene V Glass, Percy D Peckham, and James R Sanders. 1972. Consequences of failure to meet assumptions underlying the fixed effects analyses of variance and covariance. Review of educational research 42, 3 (1972), 237--288."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281500.1281546"},{"key":"e_1_3_2_2_23_1","volume-title":"Development of NASA-TLX (Task Load Index): Results of empirical and theoretical research. Advances in psychology 52","author":"Hart Sandra G","year":"1988","unstructured":"Sandra G Hart and Lowell E Staveland . 1988. Development of NASA-TLX (Task Load Index): Results of empirical and theoretical research. Advances in psychology 52 ( 1988 ), 139--183. Sandra G Hart and Lowell E Staveland. 1988. Development of NASA-TLX (Task Load Index): Results of empirical and theoretical research. Advances in psychology 52 (1988), 139--183."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmathb.2007.05.005"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/263407.263525"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/311535.311602"},{"key":"e_1_3_2_2_27_1","volume-title":"Likert scales: how to (ab) use them. Medical education 38, 12","author":"Jamieson Susan","year":"2004","unstructured":"Susan Jamieson and others. 2004. Likert scales: how to (ab) use them. Medical education 38, 12 ( 2004 ), 1217--1218. Susan Jamieson and others. 2004. Likert scales: how to (ab) use them. Medical education 38, 12 (2004), 1217--1218."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1719970.1719988"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979001"},{"key":"e_1_3_2_2_30_1","unstructured":"Kenneth R Koedinger John R Anderson William H Hadley and Mary A Mark. 1997. Intelligent tutoring goes to school in the big city. (1997).  Kenneth R Koedinger John R Anderson William H Hadley and Mary A Mark. 1997. Intelligent tutoring goes to school in the big city. (1997)."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240797"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/223904.223910"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753654"},{"key":"e_1_3_2_2_34_1","volume-title":"A technique for the measurement of attitudes. Archives of psychology","author":"Likert Rensis","year":"1932","unstructured":"Rensis Likert . 1932. A technique for the measurement of attitudes. Archives of psychology ( 1932 ). Rensis Likert. 1932. A technique for the measurement of attitudes. Archives of psychology (1932)."},{"key":"e_1_3_2_2_35_1","volume-title":"Measuring usability with the USE questionnaire. Usability interface 8, 2","author":"Lund Arnold M","year":"2001","unstructured":"Arnold M Lund . 2001. Measuring usability with the USE questionnaire. Usability interface 8, 2 ( 2001 ), 3--6. Arnold M Lund. 2001. Measuring usability with the USE questionnaire. Usability interface 8, 2 (2001), 3--6."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15327051hci0701_3"},{"key":"e_1_3_2_2_37_1","first-page":"385","article-title":"ActiveMath: A generic and adaptive web-based learning environment","volume":"12","author":"Melis Erica","year":"2001","unstructured":"Erica Melis , Eric Andres , Jochen Budenbender , Adrian Frischauf , George Goduadze , Paul Libbrecht , Martin Pollet , and Carsten Ullrich . 2001 . ActiveMath: A generic and adaptive web-based learning environment . International Journal of Artificial Intelligence in Education (IJAIED) 12 (2001), 385 -- 407 . Erica Melis, Eric Andres, Jochen Budenbender, Adrian Frischauf, George Goduadze, Paul Libbrecht, Martin Pollet, and Carsten Ullrich. 2001. ActiveMath: A generic and adaptive web-based learning environment. International Journal of Artificial Intelligence in Education (IJAIED) 12 (2001), 385--407.","journal-title":"International Journal of Artificial Intelligence in Education (IJAIED)"},{"key":"e_1_3_2_2_38_1","volume-title":"The pen is mightier than the keyboard advantages of longhand over laptop note taking. Psychological science","author":"Mueller Pam A","year":"2014","unstructured":"Pam A Mueller and Daniel M Oppenheimer . 2014. The pen is mightier than the keyboard advantages of longhand over laptop note taking. Psychological science ( 2014 ), 0956797614524581. Pam A Mueller and Daniel M Oppenheimer. 2014. The pen is mightier than the keyboard advantages of longhand over laptop note taking. Psychological science (2014), 0956797614524581."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1943403.1943444"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522848.2522849"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1166253.1166284"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818346.2820743"},{"key":"e_1_3_2_2_43_1","volume-title":"Cognitive load measurement as a means to advance cognitive load theory. Educational psychologist 38, 1","author":"Paas Fred","year":"2003","unstructured":"Fred Paas , Juhani E Tuovinen , Huib Tabbers , and Pascal WM Van Gerven . 2003. Cognitive load measurement as a means to advance cognitive load theory. Educational psychologist 38, 1 ( 2003 ), 63--71. Fred Paas, Juhani E Tuovinen, Huib Tabbers, and Pascal WM Van Gerven. 2003. Cognitive load measurement as a means to advance cognitive load theory. Educational psychologist 38, 1 (2003), 63--71."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378773.1378775"},{"key":"e_1_3_2_2_45_1","volume-title":"Accommodating learning styles in an adaptive educational system. Informatica 34, 4","author":"Popescu Elvira","year":"2010","unstructured":"Elvira Popescu , Costin Badica , and Lucian Moraret . 2010. Accommodating learning styles in an adaptive educational system. Informatica 34, 4 ( 2010 ). Elvira Popescu, Costin Badica, and Lucian Moraret. 2010. Accommodating learning styles in an adaptive educational system. Informatica 34, 4 (2010)."},{"key":"e_1_3_2_2_46_1","volume-title":"Elementary Geometry","author":"David Gustafson Peter D.","unstructured":"Peter D. Frisk R. David Gustafson . 1991. Elementary Geometry , 3 rd Edition. John Wiley & Sons, Inc. Peter D. Frisk R. David Gustafson. 1991. Elementary Geometry, 3rd Edition. John Wiley & Sons, Inc.","edition":"3"},{"key":"e_1_3_2_2_48_1","first-page":"1","article-title":"Cronbach\u00d5s alpha: A tool for assessing the reliability of scales","volume":"37","author":"Santos J Reynaldo A","year":"1999","unstructured":"J Reynaldo A Santos . 1999 . Cronbach\u00d5s alpha: A tool for assessing the reliability of scales . Journal of extension 37 , 2 (1999), 1 -- 5 . J Reynaldo A Santos. 1999. Cronbach\u00d5s alpha: A tool for assessing the reliability of scales. Journal of extension 37, 2 (1999), 1--5.","journal-title":"Journal of extension"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508468.2514930"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518866"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294211.1294238"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10032-011-0174-4"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449715.1449741"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666633.2666638"}],"event":{"name":"CHI '17: CHI Conference on Human Factors in Computing Systems","location":"Denver Colorado USA","acronym":"CHI '17","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3025453.3025468","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3025453.3025468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:43Z","timestamp":1750221523000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3025453.3025468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,2]]},"references-count":53,"alternative-id":["10.1145\/3025453.3025468","10.1145\/3025453"],"URL":"https:\/\/doi.org\/10.1145\/3025453.3025468","relation":{},"subject":[],"published":{"date-parts":[[2017,5,2]]},"assertion":[{"value":"2017-05-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}