Filters

4 Hits in 1.2 sec

### FunGrim: a symbolic library for special functions [article]

Fredrik Johansson
2020 arXiv   pre-print
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  ...  Introduction The Mathematical Functions Grimoire 1 (FunGrim, http://fungrim.org/) is an open source library of formulas, theorems and data for mathematical functions.  ...

### FunGrim: A Symbolic Library for Special Functions [chapter]

Fredrik Johansson
2020 Lecture Notes in Computer Science
We present the Mathematical Functions Grimoire (Fun-Grim), 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  ...  Introduction The Mathematical Functions Grimoire 1 (FunGrim, http://fungrim.org/) is an open source library of formulas, theorems and data for mathematical functions.  ...

### miniKanren as a Tool for Symbolic Computation in Python [article]

Brandon T. Willard
2020 arXiv   pre-print
We detail the use of miniKanren as an underlying framework for term rewriting and symbolic mathematics, as well as its ability to orchestrate the use of existing Python libraries.  ...  In this article, we give a brief overview of the current state and future potential of symbolic computation within the Python statistical modeling and machine learning community.  ...  ACKNOWLEDGMENTS e author would like to thank Jason Hemann and William Byrd for their invaluable input and inspiring work.  ...

### Calcium: computing in exact real and complex fields [article]

Fredrik Johansson
2020 arXiv   pre-print
Calcium is a C library for real and complex numbers in a form suitable for exact algebraic and symbolic computation. Numbers are represented as elements of fields ℚ(a_1,...  ...  decidable for a large class of numbers.  ...  This paper presents Calcium, 1 a C library for exact computation in R and C.  ...