13 citations · 45 across the 13 of their papers we have counts for
7 papers · 1 filter
Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems
Howard S. Cohl, André Greiner-Petter, Moritz Schubotz
We have developed an automated procedure for symbolic and numerical testing of formulae extracted from the NIST Digital Library of Mathematical Functions (DLMF). For the NIST Digit…
MathTools: An Open API for Convenient MathML Handling
André Greiner-Petter, Moritz Schubotz, Howard S. Cohl +1
Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this information with different systems requires a standardized machine-re…
ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?
Philipp Scharpf, Moritz Schubotz, Andre Greiner-Petter +3
The zbMATH database contains more than 4 million bibliographic entries. We aim to provide easy access to these entries. Therefore, we maintain different index structures, including…
Mathematical Formulae in Wikimedia Projects 2020
Moritz Schubotz, André Greiner-Petter, Norman Meuschke +2
This poster summarizes our contributions to Wikimedia's processing pipeline for mathematical formulae. We describe how we have supported the transition from rendering formulae as c…
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems
Andre Greiner-Petter, Moritz Schubotz, Howard S. Cohl +1
Purpose: Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate math…
Why Machines Cannot Learn Mathematics, Yet
André Greiner-Petter, Terry Ruas, Moritz Schubotz +3
Nowadays, Machine Learning (ML) is seen as the universal solution to improve the effectiveness of information retrieval (IR) methods. However, while mathematics is a precise and ac…