AI Chat AI Image Generator AI Video Text to Speech

FunGrim: a symbolic library for special functions

03/13/2020

∙

by Fredrik Johansson, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 12/01/2020

Pabulib: A Participatory Budgeting Library

We describe the PArticipatory BUdgeting LIBrary website (in short, Pabul...

0 Dariusz Stolicki, et al. ∙

research

∙ 03/20/2020

Mathematical Formulae in Wikimedia Projects 2020

This poster summarizes our contributions to Wikimedia's processing pipel...

0 Moritz Schubotz, et al. ∙

research

∙ 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...

0 Hong-Yan Zhang, et al. ∙

research

∙ 09/07/2021

Learned Provability Likelihood for Tactical Search

We present a method to estimate the provability of a mathematical formul...

0 Thibault Gauthier, et al. ∙

research

∙ 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...

0 Naoki Shibata, et al. ∙

research

∙ 08/24/2022

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

Ai4EComponentLib.jl(Ai4EComponentLib) is a component-base model library ...

0 Yuebao Yang, et al. ∙

research

∙ 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...

0 Howard S. Cohl, et al. ∙