Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources

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 $q$-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 this http URL

[1]  Ronald F. Boisvert,et al.  NIST Handbook of Mathematical Functions , 2010 .

[2]  Minh-Quoc Nghiem,et al.  Which One Is Better: Presentation-Based or Content-Based Math Search? , 2014, CICM.

[3]  Marjorie A. McClain,et al.  Digital Repository of Mathematical Formulae , 2014, CICM.

[4]  A. Erdélyi,et al.  Higher Transcendental Functions , 1954 .

[5]  H. Bateman,et al.  Higher Transcendental Functions [Volumes I-III] , 1953 .

[6]  Moritz Schubotz,et al.  Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia , 2014, CICM.

[7]  Moritz Schubotz,et al.  Mathematical Language Processing Project , 2014, CICM Workshops.

[8]  Michael Kohlhase,et al.  A Search Engine for Mathematical Formulae , 2006, AISC.

[9]  George E. Andrews,et al.  Special Functions: Partitions , 1999 .

[10]  Rene F. Swarttouw,et al.  Hypergeometric Orthogonal Polynomials , 2010 .

[11]  Tom H. Koornwinder,et al.  Additions to the formula lists in \Hypergeometric orthogonal polynomials and their q-analogues" by Koekoek, Lesky and Swarttouw , 2014, 1401.0815.

[12]  A. Erdélyi,et al.  Tables of integral transforms , 1955 .

[13]  Alan P. Sexton,et al.  Abramowitz and Stegun - A Resource for Mathematical Document Analysis , 2012, AISC/MKM/Calculemus.

[14]  Bruce R. Miller,et al.  Technical Aspects of the Digital Library of Mathematical Functions , 2003, Annals of Mathematics and Artificial Intelligence.

[15]  Michael Kohlhase,et al.  Using L A T E X as a Semantic Markup Format , 2008 .

[16]  H. Bateman,et al.  Tables of Integral Transforms [Volumes I & II] , 1954 .