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.  ... 
arXiv:2003.06181v1 fatcat:vhfycijsa5hp7c66tlbb6kbaem

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.  ... 
doi:10.1007/978-3-030-52200-1_31 fatcat:u236j6zcifcy5cgih7qxhrvbem

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.  ... 
arXiv:2005.11644v3 fatcat:zvjqdgw2pndhvahgz2e6iyvihm

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.  ... 
arXiv:2011.01728v1 fatcat:exo2wsaqgba4xencqfv6c5hmry