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

DOI10.1007/978-3-319-62075-6_9zbMATH Open1367.68333DBLPconf/mkm/CohlSYGGSMBC17arXiv2109.08655OpenAlexW2734236851WikidataQ51230023 ScholiaQ51230023MaRDI QIDQ2364705FDOQ2364705

Authors: Yanyan Li 

Publication date: 21 July 2017

Abstract: Document preparation systems like LaTeX offer the ability to render mathematical expressions as one would write these on paper. Using LaTeX, LaTeXML, and tools generated for use in the National Institute of Standards (NIST) Digital Library of Mathematical Functions, semantically enhanced mathematical LaTeX markup (semantic LaTeX) is achieved by using a semantic macro set. Computer algebra systems (CAS) such as Maple and Mathematica use alternative markup to represent mathematical expressions. By taking advantage of Youssef's Part-of-Math tagger and CAS internal representations, we develop algorithms to translate mathematical expressions represented in semantic LaTeX to corresponding CAS representations and vice versa. We have also developed tools for translating the entire Wolfram Encoding Continued Fraction Knowledge and University of Antwerp Continued Fractions for Special Functions datasets, for use in the NIST Digital Repository of Mathematical Formulae. The overall goal of these efforts is to provide semantically enriched standard conforming MathML representations to the public for formulae in digital mathematics libraries. These representations include presentation MathML, content MathML, generic LaTeX, semantic LaTeX, and now CAS representations as well.

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

Recommendations

• Making Presentation Math Computable
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
• A hybrid approach for semantic enrichment of MathML mathematical expressions
• A web-based toolkit for mathematical word processing applications with semantics
• Automating formalization by statistical and semantic parsing of mathematics
• Computerizing mathematical text with MathLang
• Integrating semantic mathematical documents and dynamic notebooks
• Towards a self-reflective, context-aware semantic representation of mathematical specifications
• Certified and portable mathematical documents from formal contexts

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)

Cites Work

• Algorithm 895
• Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia
• Handbook of continued fractions for special functions. With contributions by Franky Backeljauw and Catherine Bonan-Hamada. Verified numerical output by Stefan Becuwe and Annie Cuyt
• Technical aspects of the digital library of mathematical functions
• Part-of-math tagging and applications
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources

Cited In (7)

• Making Presentation Math Computable
• Part-of-math tagging and applications
• Title not available (Why is that?)
• Using La\TeX\ as a semantic markup format
• Comparative verification of the digital library of mathematical functions and computer algebra systems
• Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
• Meta stylesheets for the conversion of mathematical documents into multiple forms

Uses Software

• Digital Library of Mathematical Functions
• Maple
• Mathematica
• LaTeXML
• CFSF
• OpenMaple
• Mathoid
• LaTeX
• GitHub

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364705)