Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
From MaRDI portal
Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Basic orthogonal polynomials and functions (Askey-Wilson polynomials, etc.) (33D45) Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Abstract: One initial goal for the DRMF is to seed our digital compendium with fundamental orthogonal polynomial formulae. We had used the data from the NIST Digital Library of Mathematical Functions (DLMF) as initial seed for our DRMF project. The DLMF input LaTeX source already contains some semantic information encoded using a highly customized set of semantic LaTeX macros. Those macros could be converted to content MathML using LaTeXML. During that conversion the semantics were translated to an implicit DLMF content dictionary. This year, we have developed a semantic enrichment process whose goal is to infer semantic information from generic LaTeX sources. The generated context-free semantic information is used to build DRMF formula home pages for each individual formula. We demonstrate this process using selected chapters from the book "Hypergeometric Orthogonal Polynomials and their -Analogues" (2010) by Koekoek, Lesky and Swarttouw (KLS) as well as an actively maintained addendum to this book by Koornwinder (KLSadd). The generic input KLS and KLSadd LaTeX sources describe the printed representation of the formulae, but does not contain explicit semantic information. See http://drmf.wmflabs.org.
Recommendations
- Injecting formal mathematics into LaTeX
- The LaTeXML daemon: editable math on the collaborative web
- scientific article; zbMATH DE number 1951630
- Digital repository of mathematical formulae
- Making Presentation Math Computable
- PDF/A-3u as an archival format for accessible mathematics
- Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
- MathML-aware article conversion from LaTeX a comparison study
- On the road to a comprehensive open digital mathematics library
Cites work
- A Search Engine for Mathematical Formulae
- A Search Engine for Mathematical Formulae
- Abramowitz and Stegun – A Resource for Mathematical Document Analysis
- Digital repository of mathematical formulae
- Digital repository of mathematical formulae
- scientific article; zbMATH DE number 1231230 (Why is no real title available?)
- scientific article; zbMATH DE number 3088518 (Why is no real title available?)
- scientific article; zbMATH DE number 3108589 (Why is no real title available?)
- Hypergeometric orthogonal polynomials and their q-analogues. With a foreword by Tom H. Koornwinder
- Hypergeometric Orthogonal Polynomials and Their q-Analogues
- Mathoid: robust, scalable, fast and accessible math rendering for Wikipedia
- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia
- NIST handbook of mathematical functions
- Technical aspects of the digital library of mathematical functions
- Using as a Semantic Markup Format
- Using La\TeX\ as a semantic markup format
- Which one is better: presentation-based or content-based math search?
Cited in
(8)- Mathematical research data -- an analysis through zbMATH references
- VMEXT: a visualization tool for mathematical expression trees
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
- Four decades of {\TeX} at zbMATH
- A hybrid approach for semantic enrichment of MathML mathematical expressions
- Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
- Bravo MaRDI: A Wikibase Powered Knowledge Graph on Mathematics
- Using La\TeX\ as a semantic markup format
This page was built for publication: Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3453123)