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
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)
