FunGrim: A Symbolic Library for Special Functions

被引：0
作者：
Johansson, Fredrik [1 ]
机构：
[1] Inria Bordeaux, LFANT, Talence, France
来源：
MATHEMATICAL SOFTWARE - ICMS 2020 | 2020年 / 12097卷
关键词：
Special functions; Symbolic computation; Mathematical databases; Semantic mathematical markup;
D O I：
10.1007/978-3-030-52200-1_31
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：315 / 323
页数：9
相关论文
共 50 条
12345