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.
机构:
ENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
Dattoli G.
Germano B.
论文数: 0引用数: 0
h-index: 0
机构:
Department of Methods and Mathematic Models for Applied Sciences, University of Rome, La Sapienza, Via A. Scarpa, 14, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
Germano B.
Licciardi S.
论文数: 0引用数: 0
h-index: 0
机构:
ENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
Licciardi S.
Martinelli M.R.
论文数: 0引用数: 0
h-index: 0
机构:
Department of Methods and Mathematic Models for Applied Sciences, University of Rome, La Sapienza, Via A. Scarpa, 14, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
机构:
ENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
Dattoli G.
Germano B.
论文数: 0引用数: 0
h-index: 0
机构:
Department of Methods and Mathematic Models for Applied Sciences, University of Rome, La Sapienza, Via A. Scarpa, 14, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
Germano B.
Licciardi S.
论文数: 0引用数: 0
h-index: 0
机构:
ENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome
Licciardi S.
Martinelli M.R.
论文数: 0引用数: 0
h-index: 0
机构:
Department of Methods and Mathematic Models for Applied Sciences, University of Rome, La Sapienza, Via A. Scarpa, 14, RomeENEA - Frascati Research Center, Via Enrico Fermi 45, Frascati, 00044, Rome