HackerPapers

arXiv:2003.06181cs.MS

FunGrim: a symbolic library for special functions

Fredrik Johansson

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.

arXiv comments
Journal reference
DOI
Subjects
cs.MSMathematical Software cs.SCSymbolic Computation

On Hacker News

Linked by 2 identifiable commenters in 2 comments across 2 threads, from Jul 2020 to Dec 2020.

Comments linking this paper, per year.

Discussed in comments2 threads

  1. NIST Digital Library of Mathematical Functions 1 comment

    • See also FunGrim: https://fungrim.org/ > The Mathematical Functions Grimoire (Fungrim) is an open source library of formulas and data for special functions. Fungrim currently consists of 456 symbols (named mathematical objects), 3130 entries (definitions, formulas, tables…

      carapaceView on HNParent context

  2. Show HN: MathLingua – The Language of Mathematics 1 comment

    • Indeed. I decided not to use MathML for various reasons: 1. The syntax is horrible (for writing by hand). 2. I'm more interested in computation than presentation, so something closer to S-expressions along the lines of Mathematica feels more comfortable to me. 3. The progress so…

      fdejView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.