{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T10:48:26Z","timestamp":1776509306386,"version":"3.51.2"},"publisher-location":"Cham","reference-count":20,"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_12","type":"book-chapter","created":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T13:41:53Z","timestamp":1759844513000},"page":"208-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Authoring in a Flexiformal Context \u2014 Bulk Annotation of Rigorous Documents"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9859-6337","authenticated-orcid":false,"given":"Michael","family":"Kohlhase","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2545-4626","authenticated-orcid":false,"given":"Jan Frederik","family":"Schaefer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"A. Adrian and M. Kohlhase. \u201cWOIDE: Semantic Annotation in MS Word \u2014 Scaling Mathematical User Interfaces beyond LaTeX\u201d. In: MathUI 2024: The 15th Workshop on Mathematical User Interfaces. Ed. by K. Nakasho and J. F. Schaefer. 2024. URL: https:\/\/kwarc.info\/kohlhase\/papers\/mathui24-woide.pdf."},{"key":"12_CR2","unstructured":"M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. M\u00fcller. \u201cLearning Support Systems based on Mathematical Knowledge Managment\u201d. In: Intelligent Computer Mathematics (CICM) 2023. Ed. by C. Dubois and M. Kerber. Vol. 14101. LNAI. Springer, 2023. DOI: 978-3-031-42753-4. URL: https:\/\/url.mathhub.info\/CICM23ALEA."},{"key":"12_CR3","unstructured":"brat rapid annotation tool. URL: http:\/\/brat.nlplab.org (visited on 04\/06\/2023)."},{"key":"12_CR4","unstructured":"Dublin Core Metadata Initiative. URL: http:\/\/www.dublincore.org (visited on 05\/22\/2025)."},{"key":"12_CR5","unstructured":"The EU Artificial Intelligence Act \u2013 Up-to-date developments and analyses of the EU AI Act. URL: https:\/\/artificialintelligenceact.eu\/ (visited on 07\/02\/2025)"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"D. Ginev et al. \u201cThe SMGloM Project and System. Towards a Terminology and Ontology for Mathematics\u201d. In: Mathematical Software - ICMS 2016 - 5th International Congress. Ed. by G.-M. Greuel, T. Koch, P. Paule, and A. Sommese. Vol. 9725. LNCS. Springer, 2016. https:\/\/doi.org\/10.1007\/978-3-319-42432-3. URL: https:\/\/kwarc.info\/kohlhase\/papers\/icms16-smglom.pdf","DOI":"10.1007\/978-3-319-42432-3."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"G. Goerz and M. Scholz. \u201cAdaptation of nlp techniques to cultural heritage research and documentation\u201d. In: Journal of computing and information technology 18.4 (2010), pp. 317\u2013324.","DOI":"10.2498\/cit.1001918"},{"key":"12_CR8","unstructured":"P. Hutterer. \u201cIntegrating automated semantic annotation using machine learning into authoring workflows for flexiformal documents\u201d. M.Sc. Thesis. FAU Erlangen-N\u00fcrnberg, Apr. 12, 2023. URL: https:\/\/gl.kwarc.info\/supervision\/MSc-archive\/-\/blob\/master\/2023\/HuttererPhilipp.pdf"},{"key":"12_CR9","unstructured":"ISPELL. URL: https:\/\/www.cs.hmc.edu\/~geoff\/ispell-man.html (visited on 05\/15\/2025)."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"A. Khalili and S. Auer. \u201cUser interfaces for semantic authoring of textual content: A systematic literature review\u201d. In: Journal of web semantics 22 (2013), pp. 1\u201318.","DOI":"10.1016\/j.websem.2013.08.004"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"M. Kohlhase and D. M\u00fcller. \u201cSystem Description: sTeX3 \u2013 A LATEX-based Ecosystem for Semantic\/Active Mathematical Documents\u201d. In: Intelligent Computer Mathematics (CICM) 2022. Ed. by K. Buzzard and T. Kutsia. Vol. 13467. LNAI. Springer, 2022, pp. 184\u2013188. URL: https:\/\/kwarc.info\/people\/dmueller\/pubs\/cicm22stexsd.pdf.","DOI":"10.1007\/978-3-031-16681-5_13"},{"key":"12_CR12","unstructured":"A. Kohlhase. \u201cSemantic Interaction Design: Composing Knowledge with CPoint\u201d. PhD thesis. Computer Science, Universit\u00e4t Bremen, Apr. 2008. URL: https:\/\/kwarc.info\/ako\/pubs\/AKo_Promo.pdf."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"M. Kr\u00f6tzsch, D. Vrande\u010di\u0107, and M. V\u00f6lkel. \u201cSemantic MediaWiki\u201d. In: The Semantic Web - ISWC 2006. Ed. by I. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold, and L. M. Aroyo. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006, pp. 935\u2013 942.","DOI":"10.1007\/11926078_68"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"M. A. Musen. \u201cThe prot\u00e9g\u00e9 project: a look back and a look forward\u201d. In: AI matters 1.4 (2015), pp. 4\u201312.","DOI":"10.1145\/2757001.2757003"},{"key":"12_CR15","unstructured":"D. M\u00fcller. \n\n\n                  \n                  \n                  \n                    The image shows a mathematical expression: F Delta M int . The expression includes the capital letter F, a delta symbol (Delta), the capital letter M, and an integral symbol (int).\n                  \n                 \u2013 Flexiformal Annotation Management System. git repository. URL: https:\/\/github.com\/flexiformal\/flams (visited on 07\/24\/2025)."},{"key":"12_CR16","unstructured":"L. Panzer and J. F. Schaefer. \u201cAnnoTize: A Flexible Annotation Tool for Documents with Mathematical Formulae\u201d. In: MathUI 2023: The 14th Workshop on Mathematical User Interfaces. Ed. by A. Kohlhase. accepted. 2023. URL: https:\/\/kwarc.info\/people\/jfschaefer\/pubs\/2023-annotize-mathui.pdf."},{"key":"12_CR17","unstructured":"sTeX Plugin for VSCode. Git repository. URL https:\/\/github.com\/slatex\/sTeX-IDE (visited on 08\/01\/2024)."},{"key":"12_CR18","unstructured":"sTeX: A semantic Extension of TeX\/LaTeX. URL: https:\/\/github.com\/sLaTeX\/sTeX (visited on 05\/11\/2020)."},{"key":"12_CR19","unstructured":"sLaTeX\/stextools \u2013 Lightweight Tools for sTeX Authoring and Management. Git repository. URL: https:\/\/github.com\/slatex\/stextools (visited on 11\/12\/2024)."},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"L. Vre\u010dar, J.Wells, and F. Kamareddine. \u201cTowards Semantic Markup of Mathematical Documents via User Interaction\u201d. In: Intelligent Computer Mathematics (CICM) 2024. Ed. by A. Kohlhase and L. Kovacz. Vol. 14960. LNAI. Springer, 2024, pp. 223\u2013240. https:\/\/doi.org\/10.1007\/978-3-031-66997-2","DOI":"10.1007\/978-3-031-66997-2"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T10:22:26Z","timestamp":1776507746000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-07021-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032070203","9783032070210"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-07021-0_12","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"}}]}}