Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
From MaRDI portal
Publication:2364705
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.
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
Cites work
- Algorithm 895
- Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
- 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
- Mathoid: robust, scalable, fast and accessible math rendering for Wikipedia
- Part-of-math tagging and applications
- Technical aspects of the digital library of mathematical functions
Cited in
(8)- Meta stylesheets for the conversion of mathematical documents into multiple forms
- Injecting formal mathematics into LaTeX
- Comparative verification of the digital library of mathematical functions and computer algebra systems
- Making Presentation Math Computable
- Using La\TeX\ as a semantic markup format
- Part-of-math tagging and applications
- Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
- scientific article; zbMATH DE number 1951630 (Why is no real title available?)
Describes a project that uses
Uses Software
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)
