FunGrim: a symbolic library for special functions
Language
en
Communication dans un congrès
This item was published in
Mathematical Software – ICMS 2020, 2020, Braunschweig. 2020-07-08, vol. 12097, p. 315-323
Springer International Publishing
English Abstract
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 ...Read more >
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.Read less <
English Keywords
Special functions
Symbolic computation
Mathematical databases
Semantic mathematical markup
Origin
Hal imported