Access the full text.
Sign up today, get DeepDyve free for 14 days.
H. Cohl, M. Schubotz, Marjorie McClain, B. Saunders, Cherry Zou, Azeem Mohammed, Alex Danoff (2015)
Growing the Digital Repository of Mathematical Formulae with Generic LaTeX SourcesArXiv, abs/1505.01431
M. Kohlhase (2006)
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2], 4180
H. Cohl, M. Schubotz, Marjorie McClain, B. Saunders, Cherry Zou, Azeem Mohammed, Alex Danoff (2015)
Growing the Digital Repository of Mathematical Formulae with Generic Sources
Abdou Youssef (2017)
Part-of-Math Tagging and Applications
(2004)
LaTeXML : A L A TEX to XML / HTML / MathML Converter
D. Knuth (1997)
The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition
Jana Giceva, C. Lange, Florian Rabe (2009)
Integrating Web Services into Active Mathematical Documents
Alexia Gaudeul (2007)
Do Open Source Developers Respond to Competition?: The (La)Tex Case StudyEconomics of Networks
(2019)
date={2019-07}, title={Semantic Preserving Bijective Mappings for Expressions
M. Kohlhase (2008)
Using L A T E X as a Semantic Markup Format
F. Cajori
A history of mathematical notations
C. Hamblin (1962)
Translation to and from Polish NotationComput. J., 5
B. Miller, Abdou Youssef (2003)
Technical Aspects of the Digital Library of Mathematical FunctionsAnnals of Mathematics and Artificial Intelligence, 38
Robert Corless, D. Jeffrey, S. Watt, J. Davenport (2000)
“According to Abramowitz and Stegun” or arccoth needn't be uncouthSIGSAM Bull., 34
James Beaumont, R. Bradford, J. Davenport, Nalina Phisanbut (2007)
Testing elementary function identities using CADApplicable Algebra in Engineering, Communication and Computing, 18
Andrei Hagiu (2006)
Merchant or Two-Sided Platform?Review of Network Economics, 6
H. Cohl, André Greiner-Petter, M. Schubotz (2018)
Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems
H. Cohl, Marjorie McClain, B. Saunders, M. Schubotz, Janelle Williams (2014)
Digital Repository of Mathematical FormulaeArXiv, abs/1404.6519
J. Davenport, S. Autexier, J. Calmet, David Delahaye, P. Ion, L. Rideau, R. Rioboo, A. Sexton (2010)
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
H. Cohl, M. Schubotz, Abdou Youssef, André Greiner-Petter, J. Gerhard, B. Saunders, Marjorie McClain, Joon Bang, Kevin Chen (2017)
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra SystemsArXiv, abs/2109.08655
J. Davenport (2010)
The challenges of multivalued "Functions"
M. Kohlhase (2008)
Using as a Semantic Markup FormatMathematics in Computer Science, 2
M. Schubotz, André Greiner-Petter, Philipp Scharpf, Norman Meuschke, H. Cohl, Bela Gipp (2018)
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual ContextProceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries
C. Bigelow, D. Day (1987)
Digital typographyHuman-Computer Interaction
M. Kohlhase (2006)
MathDox : mathematical documents on the webLecture Notes in Computer Science, 4180
M. England, E. Cheb-Terrab, R. Bradford, J. Davenport, D. Wilson (2013)
Branch cuts in maple 17ACM Commun. Comput. Algebra, 48
(2010)
L A TEXCalc
(2016)
Maple 2016 Programming Guide
M. Kohlhase, J. Corneli, Catalin David, Deyan Ginev, C. Jucovschi, A. Kohlhase, C. Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev (2011)
The Planetary System: Web 3.0 & Active Documents for STEM
D. Lozier (2003)
NIST Digital Library of Mathematical FunctionsAnnals of Mathematics and Artificial Intelligence, 38
H. Cuypers, A. Cohen, Jan Knopper, R. Verrijzer, Mark Spanbroek (2008)
MathDox : a system for interactive mathematics, 2008
Review of Network Economics, 6
Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. The purpose of this paper is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as the DPS.Design/methodology/approachBruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create links from mathematical symbols to their definitions in the NIST Digital Library of Mathematical Functions (DLMF). The authors are using these macros to perform rule-based translations between the formulae in the DLMF and CAS. Moreover, the authors develop software to ease the creation of new rules and to discover inconsistencies.FindingsThe authors created 396 mappings and translated 58.8 percent of DLMF formulae (2,405 expressions) successfully between Maple and DLMF. For a significant percentage, the special function definitions in Maple and the DLMF were different. An atomic symbol in one system maps to a composite expression in the other system. The translator was also successfully used for automatic verification of mathematical online compendia and CAS. The evaluation techniques discovered two errors in the DLMF and one defect in Maple.Originality/valueThis paper introduces the first translation tool for special functions between LaTeX and CAS. The approach improves error-prone manual translations and can be used to verify mathematical online compendia and CAS.
Aslib Journal of Information Management – Emerald Publishing
Published: Jun 13, 2019
Keywords: Translation; Computer Algebra System (CAS); Document Preparation System (DPS); LaTeX; Presentation to Computation (P2C); Special functions
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.