Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
From MaRDI portal
Publication:5041072
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
Symbolic computation and algebraic computation (68W30) Presentation and content markup for mathematics (68V25)
Uses Software
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
