Comparative verification of the digital library of mathematical functions and computer algebra systems
type: Item
instance of: scholarly article
title: Comparative verification of the digital library of mathematical functions and computer algebra systems
zbMATH Open document ID: 1547.68825
DOI: 10.1007/978-3-030-99524-9_5
author: André Greiner-Petter
author: H. S. Cohl
author: Abdou Youssef
author: Moritz Schubotz
author: Avi Trost
author: Rajen Dey
author: Akiko N. Aizawa
author: Bela Gipp
publication date: 2024-01-23T00:00:00Z
Mathematics Subject Classification ID: 68V30
Mathematics Subject Classification ID: 68V25
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7793090
zbMATH Keywords: presentation to computation
zbMATH Keywords: LaCASt
zbMATH Keywords: LaTeX
zbMATH Keywords: semantic LaTeX
zbMATH Keywords: computer algebra systems
zbMATH Keywords: digital mathematical library
MaRDI profile type: Publication
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: Q4499160
cites work: Partial evaluation of Maple
cites work: Automated symbolic and numerical testing of DLMF formulae using computer algebra systems
cites work: Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
cites work: The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
cites work: Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
cites work: A Skeptic's approach to combining HOL and Maple
cites work: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
cites work: Certified Computer Algebra on Top of an Interactive Theorem Prover
cites work: Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
cites work: Comparison of polynomial-oriented computer algebra systems
cites work: Technical aspects of the digital library of mathematical functions
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Towards math terms disambiguation using machine learning
cites work: Part-of-math tagging and applications
cites work: A contextual and labeled math-dataset derived from NIST's DLMF
description: scientific article; zbMATH DE number 7793090