FunGrim: A Symbolic Library for Special Functions

DOI10.1007/978-3-030-52200-1_31MaRDI QIDQ5041069zbMATH OpenOpenAlexWikidataFDO

Authors Fredrik Johansson

Publication date 13 October 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.06181

zbMATH Keywords

mathematical databasessemantic mathematical markupspecial functionssymbolic computation

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to special functions (33-04) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Digital mathematics libraries and repositories (68V35) Symbolic computation and algebraic computation (68W30)

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 tool for FunGrim, and the Grim formula language used in these projects to represent mathematical content semantically.

Recommendations

• NumGfun: a package for numerical and analytic computation with D-finite functions
• Functional programming framework for \textit{GRworkbench}
• A package for symbolic solution of real functional equations of real variables
• scientific article; zbMATH DE number 1263381
• scientific article; zbMATH DE number 5302683
• Normalized finite non‐homogeneous chains and applications
• scientific article; zbMATH DE number 1701750
• Metalibm: a mathematical functions code generator

Cites work

• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• Digital repository of mathematical formulae
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• The dynamic dictionary of mathematical functions (DDMF)

Cited in

(10)

• Functional programming framework for \textit{GRworkbench}
• Automatically generated encyclopedia of special functions. (Extended abstract)
• FunGrim
• scientific article; zbMATH DE number 2151201 (Why is no real title available?)
• Digital repository of mathematical formulae
• The dynamic dictionary of mathematical functions (DDMF)
• A knowledge base on special functions
• Modular linear differential equations for four-point sphere conformal blocks
• Integrable structure of higher spin CFT and the ODE/IM correspondence
• Computer-assisted construction of Ramanujan-Sato series for 1 over

Describes a project that uses

Uses Software

• SymPy
• LMFDB
• Arb
• Wolfram Functions Site
• DLMF
• Rubi

This page was built for publication: FunGrim: A Symbolic Library for Special Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5041069)