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

DOI10.1007/978-3-030-52200-1_33zbMath1503.68299WikidataQ122926705 ScholiaQ122926705MaRDI QIDQ5041072

Akiko N. Aizawa, André Greiner-Petter, Moritz Schubotz, Bela Gipp

Publication date: 13 October 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-52200-1_33

zbMATH Keywords

computer algebra systems; mathematical information retrieval; presentation to computation

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68V25: Presentation and content markup for mathematics

Uses Software

• DLMF
• LaTeX