21 citations · 93 across the 25 of their papers we have counts for
3 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…
Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
Howard S. Cohl, Moritz Schubotz, Abdou Youssef +4
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…
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…