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 条
  • [31] Special functions associated with complex reflection groups
    Fethi Bouzeffour
    The Ramanujan Journal, 2014, 34 : 39 - 55
  • [32] Series representations for special functions and mathematical constants
    Alzer, Horst
    Richards, Kendall C.
    RAMANUJAN JOURNAL, 2016, 40 (02) : 291 - 310
  • [33] Recurrence relations of special functions and group representations
    del Castillo, GFT
    REVISTA MEXICANA DE FISICA, 2003, 49 (01) : 53 - 56
  • [34] ON GENERALIZATION OF SPECIAL FUNCTIONS RELATED TO WEYL GROUPS
    Hakova, Lenka
    Tereszkiewicz, Agnieszka
    ACTA POLYTECHNICA, 2016, 56 (06) : 440 - 447
  • [35] The Application of the Special Functions to Solving Physical Problems
    Wloch, A.
    Czyz, H.
    Jasinski, T.
    ACTA PHYSICA POLONICA A, 2019, 135 (06) : 1234 - 1236
  • [36] The Riemann-Hilbert problem and special functions
    Novokshenov, V. Yu.
    GEOMETRIC METHODS IN PHYSICS, 2008, 1079 : 149 - 161
  • [37] A note on some new series of special functions
    Gaboury, S.
    Tremblay, R.
    INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, 2014, 25 (05) : 336 - 343
  • [38] A proposed software test service for special functions
    Lozier, DW
    QUALITY OF NUMERICAL SOFTWARE - ASSESSMENT AND ENHANCEMENT, 1997, : 167 - 178
  • [39] Special functions as subordinated semigroups on the real line
    José S. Campos-Orozco
    José E. Galé
    Semigroup Forum, 2012, 84 : 284 - 300
  • [40] Special functions as subordinated semigroups on the real line
    Campos-Orozco, Jose S.
    Gale, Jose E.
    SEMIGROUP FORUM, 2012, 84 (02) : 284 - 300
12345