Luka Vrecar, Joe B. Wells, Fairouz Kamareddine. Towards Semantic Markup of Mathematical Documents via User Interaction. In Andrea Kohlhase, Laura Kovács, editors, Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings. Volume 14960 of Lecture Notes in Computer Science, pages 223-240, Springer, 2024. [doi]
Abstract is missing.