FunGrim: a symbolic library for special functions
Mathematical Software
2020-03-16 v1 Symbolic Computation
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.
Cite
@article{arxiv.2003.06181,
title = {FunGrim: a symbolic library for special functions},
author = {Fredrik Johansson},
journal= {arXiv preprint arXiv:2003.06181},
year = {2020}
}