Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems

DOI10.1007/978-3-319-62075-6_9zbMath1367.68333DBLPconf/mkm/CohlSYGGSMBC17arXiv2109.08655OpenAlexW2734236851WikidataQ51230023 ScholiaQ51230023MaRDI QIDQ2364705

Yanyan Li

Publication date: 21 July 2017

Full work available at URL: https://arxiv.org/abs/2109.08655

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies for text processing; mathematical typography (68U15)

Related Items (2)

Part-of-math tagging and applications ⋮ Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems

Uses Software

• Maple
• Mathematica
• DLMF
• LaTeXML
• CFSF
• OpenMaple
• GitHub
• Mathoid
• LaTeX

Cites Work

• Unnamed Item
• Technical aspects of the digital library of mathematical functions
• Part-of-math tagging and applications
• Algorithm 895
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia

This page was built for publication: Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems