{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T10:48:07Z","timestamp":1776509287390,"version":"3.51.2"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032070203","type":"print"},{"value":"9783032070210","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-07021-0_10","type":"book-chapter","created":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T13:42:37Z","timestamp":1759844557000},"page":"171-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-0927-6159","authenticated-orcid":false,"given":"Luka","family":"Vre\u010dar","sequence":"first","affiliation":[]},{"given":"Joe","family":"Wells","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6141-2709","authenticated-orcid":false,"given":"Fairouz","family":"Kamareddine","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers : Principles, Techniques, and Tools. 1st ed. Addison-Wesley, 1986. 796 pp. isbn: 0-201-10088-6."},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Krasimir Angelov. \u201cIncremental Parsing with Parallel Multiple Context-Free Grammars\u201d. In: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics. The 12th Conference of the European Chapter of the Association for Computational Linguistics. Athens, Greece: Association for Computational Linguistics, 2009, pp. 69\u201376. doi: https:\/\/doi.org\/10.3115\/1609067.1609074. url: http:\/\/portal.acm.org\/citation.cfm?doid=1609067.1609074 (visited on 04\/18\/2022).","DOI":"10.3115\/1609067.1609074"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Igor Dejanovi\u0107. \u201cParglare: A LR\/GLR Parser for Python\u201d. In: Science of Computer Programming 214 (2021). issn: 0167-6423. doi: https:\/\/doi.org\/10.1016\/j.scico.2021.102734. url: https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642321001271.","DOI":"10.1016\/j.scico.2021.102734"},{"key":"10_CR4","unstructured":"Mehmet Dolgun. GLRParser: A GLR Parser for Natural Language Processing and Translation. Version 0.3.25. url: https:\/\/github.com\/mdolgun\/GLRParser (visited on 05\/02\/2023)."},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Mohan Ganesalingam. The Language of Mathematics. Vol. 7805. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2013. isbn: 978-3-642-37011-3. doi: https:\/\/doi.org\/10.1007\/978-3-642-37012-0. url: http:\/\/link.springer.com\/10.1007\/978-3-642-37012-0 (visited on 10\/28\/2021).","DOI":"10.1007\/978-3-642-37012-0"},{"key":"10_CR6","unstructured":"Kevin Kofler. \u201cDynamic Generalized Parsing and Natural Mathematical Language\u201d. PhD thesis. Vienna, Austria: University of Vienna, 2017. url: https:\/\/www.tigen.org\/kevin.kofler\/fmathl\/dyngenpar\/diss.pdf."},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Kevin Kofler and Arnold Neumaier. \u201cDynGenPar \u2013 A Dynamic Generalized Parser for Common Mathematical Language\u201d. In: Intelligent Computer Mathematics. Ed. by Johan Jeuring et al. Berlin, Heidelberg: Springer, 2012, pp. 386\u2013401. isbn: 978-3-642-31374-5. doi: https:\/\/doi.org\/10.1007\/978-3-642-31374-5_26.","DOI":"10.1007\/978-3-642-31374-5_26"},{"key":"10_CR8","unstructured":"Michael Kohlhase and Dennis M\u00fcller. The sTeX3 Manual. Oct. 13, 2023. url: https:\/\/github.com\/slatex\/sTeX\/blob\/main\/doc\/stex-manual.pdf (visited on 10\/17\/2023)."},{"key":"10_CR9","unstructured":"Paul T. McGuire. Welcome to PyParsing\u2019s Documentation! \u2014 PyParsing 3.1.1 Documentation. url: https:\/\/pyparsing-docs.readthedocs.io\/en\/latest\/index.html (visited on 04\/04\/2024)."},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Rahman Nozohoor-Farshi. \u201cGLR Parsing for \"-Grammers\u201d. In: Generalized LR Parsing. Ed. by Masaru Tomita. Boston, MA: Springer US, 1991, pp. 61\u201375. isbn: 978-1-4615-4034-2. doi: https:\/\/doi.org\/10.1007\/978-1-4615-4034-2_5. url: https:\/\/doi.org\/10.1007\/978-1-4615-4034-2_5 (visited on 05\/01\/2025).","DOI":"10.1007\/978-1-4615-4034-2_5"},{"key":"10_CR11","unstructured":"Jan Rekers. \u201cParser Generation for Interactive Environments\u201d. University of Amsterdam, Jan. 1992. 179 pp. url: https:\/\/ir.cwi.nl\/pub\/29930\/29930D.pdf (visited on 02\/21\/2024)."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Masaru Tomita. \u201cThe Generalized LR Parsing Algorithm\u201d. In: Generalized LR Parsing. Springer Science & Business Media, Aug. 31, 1991, pp. 1\u201316. isbn: 978-0-7923-9201-9. Google Books: PvZiZiVqwHcC.","DOI":"10.1007\/978-1-4615-4034-2_1"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Luka Vre\u010dar, Joe Wells, and Fairouz Kamareddine. \u201cTowards Semantic Markup of Mathematical Documents via User Interaction\u201d. In: Intelligent Computer Mathematics. Ed. by Andrea Kohlhase and Laura Kov\u00e1cs. Vol. 14960. Cham: Springer Nature Switzerland, 2024, pp. 223\u2013240. isbn: 978-3-031-66996-5. doi: https:\/\/doi.org\/10.1007\/978-3-031-66997-2_13. url: https:\/\/link.springer.com\/10.1007\/978-3-031-66997-2_13 (visited on 10\/25\/2024).","DOI":"10.1007\/978-3-031-66997-2_13"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Daniel H. Younger. \u201cRecognition and parsing of context-free languages in time n3\u201d. In: Information and Control 10.2 (1967), pp. 189\u2013208. issn: 0019-9958. doi: https:\/\/doi.org\/10.1016\/S0019-9958(67)80007-X. url: https:\/\/www.sciencedirect.com\/science\/article\/pii\/S001999586780007X.","DOI":"10.1016\/S0019-9958(67)80007-X"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-07021-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T10:21:10Z","timestamp":1776507670000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-07021-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032070203","9783032070210"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-07021-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"8 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brasilia","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2025\/cicm.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}