FunGrim：用于特殊功能的符号库
FunGrim: a symbolic library for special functions
摘要：
我们提出了数学函数魔法书（FunGrim），一个网站和数据库的公式和定理的特殊功能。我们还讨论了符号计算库作为后端和主要的开发工具FunGrim，和Grim公式语言在这些项目中使用的语义表示数学内容。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
