Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems

André Greiner-Petter, Moritz Schubotz, Akiko Aizawa, Bela Gipp. Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems. In Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Volume 12097 of Lecture Notes in Computer Science, pages 335-341, Springer, 2020. [doi]

Abstract

Abstract is missing.