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

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

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

Publication date: 18 October 2018

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

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

68U15: Computing methodologies for text processing; mathematical typography

Uses Software

• Maple
• DLMF
• LaTeXML
• VMEXT
• LaTeX