FunGrim: a symbolic library for special functions
Langue
en
Communication dans un congrès
Ce document a été publié dans
Mathematical Software – ICMS 2020, 2020, Braunschweig. 2020-07-08, vol. 12097, p. 315-323
Springer International Publishing
Résumé en anglais
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 ...Lire la suite >
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.< Réduire
Mots clés en anglais
Special functions
Symbolic computation
Mathematical databases
Semantic mathematical markup
Origine
Importé de halUnités de recherche