Comparative verification of the digital library of mathematical functions and computer algebra systems

DOI10.1007/978-3-030-99524-9_5MaRDI QIDQ6535563zbMATH OpenFDO

Authors André Greiner-Petter, H. S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko N. Aizawa, Bela Gipp

Publication date 23 January 2024

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

computer algebra systemsLaTeXdigital mathematical librarypresentation to computationLaCAStsemantic LaTeX

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mathematical knowledge management (68V30) Presentation and content markup for mathematics (68V25)

Recommendations

• Automated symbolic and numerical testing of DLMF formulae using computer algebra systems
• scientific article; zbMATH DE number 5917352
• Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
• NIST digital library of mathematical functions
• scientific article; zbMATH DE number 6478379

Cites work

• scientific article; zbMATH DE number 1497749 (Why is no real title available?)
• A Skeptic's approach to combining HOL and Maple
• A contextual and labeled math-dataset derived from NIST's DLMF
• Automated symbolic and numerical testing of DLMF formulae using computer algebra systems
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• Comparison of polynomial-oriented computer algebra systems
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Isabelle/HOL. A proof assistant for higher-order logic
• Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
• Part-of-math tagging and applications
• Partial evaluation of Maple
• Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
• Technical aspects of the digital library of mathematical functions
• The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
• Towards math terms disambiguation using machine learning
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm

This page was built for publication: Comparative verification of the digital library of mathematical functions and computer algebra systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535563)