FunGrim: A Symbolic Library for Special Functions

Johansson, Fredrik

doi:10.1007/978-3-030-52200-1_31

Search citation statements

Order By: Relevance

Paper Sections

Select...

Symbolic and Algebraic Systems1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Other1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A roundtrip expr → Calcium → expr can be a useful part in the toolbox of such a simplifier, but will often have to be applied selectively. In fact, Calcium grew out of code to manipulate and test symbolic expressions in FunGrim [15], with the view of having a middle layer between symbolic expressions and polynomial and ball arithmetic.…”

Section: Symbolic and Algebraic Systemsmentioning

confidence: 99%

Calcium: computing in exact real and complex fields

Johansson

2020

Preprint

Self Cite

View full text Add to dashboard Cite

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 Q(a 1 , . . . , a n ) where the extensions numbers a k may be algebraic or transcendental. The system combines efficient field operations with automatic discovery and certification of algebraic relations, resulting in a practical computational model of R and C in which equality is rigorously decidable for a large class of numbers.

show abstract

Section: Symbolic and Algebraic Systemsmentioning

confidence: 99%