{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T05:52:07Z","timestamp":1763358727042,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/vlhcc.2018.8506580","type":"proceedings-article","created":{"date-parts":[[2018,10,25]],"date-time":"2018-10-25T19:44:51Z","timestamp":1540496691000},"page":"33-37","source":"Crossref","is-referenced-by-count":2,"title":["Searching Over Search Trees for Human-AI Collaboration in Exploratory Problem Solving: A Case Study in Algebra"],"prefix":"10.1109","author":[{"given":"Benjamin T.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven L.","family":"Tanimoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"MyScript Cloud Development Kit","year":"0","author":"myscript","key":"ref10"},{"journal-title":"Mathematica Version 11 2","year":"0","author":"inc","key":"ref11"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-642-39320-4_16","article-title":"Structural Similarity Search for Mathematics Retrieval","author":"kamali","year":"2013","journal-title":"Intelligent Computer Mathematics Lecture Notes in Computer Science"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173962"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1866029.1866035"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-85412-8_3","article-title":"MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation","author":"zeleznik","year":"2008","journal-title":"Smart Graphics Lecture Notes in Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2012.6344517"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/07370024.2012.697020"},{"journal-title":"Problem-Solving Methods in Artificial Intelligence","year":"1971","author":"nilsson","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/502716.502736"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DAS.2008.21"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518740"},{"key":"ref9","first-page":"940207","article-title":"Math expression retrieval using an inverted index over symbol pairs","volume":"9402","author":"stalnaker","year":"2015","journal-title":"Document Recognition and Retrieval XIII"}],"event":{"name":"2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2018,10,1]]},"location":"Lisbon","end":{"date-parts":[[2018,10,4]]}},"container-title":["2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488603\/8506479\/08506580.pdf?arnumber=8506580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T13:45:53Z","timestamp":1643204753000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8506580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2018.8506580","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}