{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:41:53Z","timestamp":1742974913105,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_35","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"406-420","source":"Crossref","is-referenced-by-count":0,"title":["Faceted Search for Mathematics"],"prefix":"10.1007","author":[{"given":"Radu","family":"Hambasan","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"35_CR1","first-page":"88","volume-title":"NTCIR Workshop 11 Meeting","author":"A Aizawa","year":"2014","unstructured":"Aizawa, A., et al.: NTCIR-11 Math-2 task overview. In: Kando, N., Joho, H., Kishida, K. (eds.) NTCIR Workshop 11 Meeting, pp. 88\u201398. NII, Tokyo (2014). \n                      http:\/\/research.nii.ac.jp\/ntcir\/workshop\/OnlineProceedings11\/pdf\/NTCIR\/OVERVIEW\/01-NTCIR11-OV-MATH-AizawaA.pdf"},{"key":"35_CR2","unstructured":"Apache Lucene. \n                      https:\/\/lucene.apache.org\/\n                      \n                    . Accessed 4 Oct 2015"},{"key":"35_CR3","unstructured":"arxiv.org e-Print archive. \n                      http:\/\/www.arxiv.org\n                      \n                    . Accessed 12 June 2012"},{"key":"35_CR4","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified dataprocessing on large clusters (2004)"},{"key":"35_CR5","unstructured":"Elastic Search. \n                      http:\/\/www.elasticsearch.org\/\n                      \n                    . Accessed 7 Dec 2014"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-3-319-08434-3_31","volume-title":"Intelligent Computer Mathematics","author":"D Ginev","year":"2014","unstructured":"Ginev, D., Corneli, J.: NNexus reloaded. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 423\u2013426. Springer, Heidelberg (2014)"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","first-page":"117","volume-title":"Rewriting Techniques and Applications","author":"P Graf","year":"1994","unstructured":"Graf, P.: Substitution tree indexing. In: Hsiang, J. (ed.) Rewriting Techniques and Applications. LNCS, pp. 117\u2013131. Springer, Heidelberg (1994)"},{"key":"35_CR8","first-page":"114","volume-title":"NTCIR Workshop 11 Meeting","author":"R Hambasan","year":"2014","unstructured":"Hambasan, R., Kohlhase, M., Prodescu, C.: MathWeb-search at NTCIR-11. In: Kando, N., Joho, H., Kishida, K. (eds.) NTCIR Workshop 11 Meeting, pp. 114\u2013119. NII, Tokyo (2014). \n                      http:\/\/research.nii.ac.jp\/ntcir\/workshop\/OnlineProceedings11\/pdf\/NTCIR\/Math-2\/05-NTCIR11-MATH-HambasanR.pdf"},{"key":"35_CR9","unstructured":"Kando, N., Joho, H., Kishida, K. (eds.) NTCIR Workshop 11 Meeting. NII, Tokyo, Japan (2014)"},{"key":"35_CR10","unstructured":"LaTeX - A document preparation system. \n                      https:\/\/www.latex-project.org\/\n                      \n                    . Accessed 4 Oct 2015"},{"key":"35_CR11","unstructured":"LevelDB. \n                      http:\/\/leveldb.org\/\n                      \n                    . Accessed 21 Dec 2014"},{"key":"35_CR12","unstructured":"Mathematical Markup Language. \n                      http:\/\/www.w3.org\/TR\/MathML3\/"},{"key":"35_CR13","unstructured":"Mathematics Subject Classification (MSC) SKOS (2012). \n                      http:\/\/msc2010.org\/resources\/MSC\/2010\/info\/\n                      \n                    . Accessed 31 Aug 2012"},{"key":"35_CR14","unstructured":"Miller, B.: LaTeXML: A \n                      \n                     to XML Converter. \n                      http:\/\/dlmf.nist.gov\/LaTeXML\/\n                      \n                    . Accessed 12 Mar 2013"},{"key":"35_CR15","unstructured":"XSLT for Presentation MathML in a Browser. 20 December 2000. \n                      http:\/\/dpcarlisle.blogspot.de\/2009\/12\/xslt-for-presentation-mathml-in-browser.html#uds-search-results\n                      \n                    . Accessed 4 Apr 2015"},{"key":"35_CR16","unstructured":"Yee, K.-P., et al.: Faceted metadata for image search, browsing. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM Press, pp. 401\u2013408 (2003). \n                      http:\/\/dl.acm.org\/citation.cfm?id=642681"},{"key":"35_CR17","unstructured":"Zentralblatt Math Website. \n                      http:\/\/zbmath.org\/\n                      \n                    . Accessed 7 Dec 2014"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:30:48Z","timestamp":1559421048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}