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

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

André Greiner-Petter, Moritz Schubotz, Akiko N. Aizawa, 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 systemsmathematical information retrievalpresentation to computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Presentation and content markup for mathematics (68V25)

Uses Software

• DLMF
• LaTeX

Cites Work

• Automated symbolic and numerical testing of DLMF formulae using computer algebra systems
• Part-of-math tagging and applications
• Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
• Modern Computer Algebra
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• Special issue on the use of computer algebra systems for computer aided control system design

This page was built for publication: Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems