FunGrim: a symbolic library for special functions
Idioma
en
Communication dans un congrès
Este ítem está publicado en
Mathematical Software – ICMS 2020, 2020, Braunschweig. 2020-07-08, vol. 12097, p. 315-323
Springer International Publishing
Resumen en inglés
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 ...Leer más >
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.< Leer menos
Palabras clave en inglés
Special functions
Symbolic computation
Mathematical databases
Semantic mathematical markup
Orígen
Importado de HalCentros de investigación