Automated symbolic and numerical testing of DLMF formulae using computer algebra systems

DOI10.1007/978-3-319-96812-4_4zbMath1417.68272arXiv2109.08899OpenAlexW3199955184WikidataQ122926717 ScholiaQ122926717MaRDI QIDQ1798944

Moritz Schubotz, André Greiner-Petter, Howard S. Cohl

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/2109.08899

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies for text processing; mathematical typography (68U15)

Related Items (1)

Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems

Uses Software

• Maple
• DLMF
• LaTeXML
• VMEXT
• LaTeX

This page was built for publication: Automated symbolic and numerical testing of DLMF formulae using computer algebra systems