DeepAI AI Chat
Log In Sign Up

FunGrim: a symbolic library for special functions

03/13/2020
by   Fredrik Johansson, et al.
0

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 FULL TEXT

page 1

page 2

page 3

page 4

12/01/2020

Pabulib: A Participatory Budgeting Library

We describe the PArticipatory BUdgeting LIBrary website (in short, Pabul...
03/20/2020

Mathematical Formulae in Wikimedia Projects 2020

This poster summarizes our contributions to Wikimedia's processing pipel...
09/07/2021

Learned Provability Likelihood for Tactical Search

We present a method to estimate the provability of a mathematical formul...
01/25/2020

SLEEF: A Portable Vectorized Library of C Standard Mathematical Functions

In this paper, we present techniques used to implement our portable vect...
01/05/2023

An Automatic Method for Generating Symbolic Expressions of Zernike Circular Polynomials

Zernike circular polynomials (ZCP) play a significant role in optics eng...
08/24/2022

Ai4EComponentLib.jl: A Component-base Model Library in Julia

Ai4EComponentLib.jl(Ai4EComponentLib) is a component-base model library ...
09/18/2021

Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems

We have developed an automated procedure for symbolic and numerical test...