Comparative verification of the digital library of mathematical functions and computer algebra systems
From MaRDI portal
Publication:6535563
DOI10.1007/978-3-030-99524-9_5zbMATH Open1547.68825MaRDI QIDQ6535563
Akiko N. Aizawa, Abdou Youssef, Rajen Dey, Bela Gipp, Avi Trost, H. S. Cohl, André Greiner-Petter, Moritz Schubotz
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
- Title not available (Why is that?)
- Partial evaluation of Maple
- 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
- Isabelle/HOL. A proof assistant for higher-order logic
- 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
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
- The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
- Comparison of polynomial-oriented computer algebra systems
- Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
- Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
- Certified Computer Algebra on Top of an Interactive Theorem Prover
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)
