FunGrim: a symbolic library for special functions

2020/03/13 by Fredrik Johansson, Johansson, Fredrik
Computer Science · #FOS: Computer and information sciences #Mathematical Software (cs.MS) #Symbolic Computation (cs.SC) #cs.MS #cs.SC

paper · pdf · doi:10.48550/arxiv.2003.06181

arxiv created 2020/03/13 · arxiv updated 2020/03/16

Abstract

We present the Mathematical Functions Grimoire (FunGrim), a website and database of formulas and theorems for special functions. We also discuss the symbolic computation library used as the backend and main development tool for FunGrim, and the Grim formula language used in these projects to represent mathematical content semantically.

Related

• Software for the Algorithmic Work with Orthogonal Polynomials and Special Functions
• Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
• Fonctions spéciales et polynômes orthogonaux: cours et exercices corrigés
• Symbolic Computation for All the Fun
• Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources