Comparative verification of the digital library of mathematical functions and computer algebra systems
DOI10.1007/978-3-030-99524-9_5zbMATH Open1547.68825MaRDI QIDQ6535563FDOQ6535563
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
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
computer algebra systemsLaTeXdigital mathematical librarypresentation to computationLaCAStsemantic LaTeX
Symbolic computation and algebraic computation (68W30) Mathematical knowledge management (68V30) Presentation and content markup for mathematics (68V25)
Cites Work
- Isabelle/HOL. A proof assistant for higher-order logic
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- A Skeptic's approach to combining HOL and Maple
- The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Partial evaluation of Maple
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
- Title not available (Why is that?)
- Comparison of polynomial-oriented computer algebra systems
- Automated symbolic and numerical testing of DLMF formulae using computer algebra systems
- Technical aspects of the digital library of mathematical functions
- Towards math terms disambiguation using machine learning
- A contextual and labeled math-dataset derived from NIST's DLMF
- Part-of-math tagging and applications
- Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
- Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems
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)
