论文标题
Fungrim：特殊功能的符号库
FunGrim: a symbolic library for special functions
论文作者
论文摘要
我们介绍了数学功能Grimoire（Fungrim），这是一个用于特殊功能的公式和定理的网站和数据库。我们还讨论了用作Fungrim的后端和主要开发工具的符号计算库，以及这些项目中用于以语义表示数学内容的严峻公式语言。
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.
