Skip to Main content Skip to Navigation
New interface
Conference papers

Calcium: computing in exact real and complex fields

Fredrik Johansson 1 
1 LFANT - Lithe and fast algorithmic number theory
IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
Abstract : 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 $\mathbb{Q}(a_1,\ldots,a_n)$ where the extension 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 $\mathbb{R}$ and $\mathbb{C}$ in which equality is rigorously decidable for a large class of numbers.
Complete list of metadata

https://hal.inria.fr/hal-02986375
Contributor : Fredrik Johansson Connect in order to contact the contributor
Submitted on : Saturday, May 15, 2021 - 11:58:01 AM
Last modification on : Sunday, June 26, 2022 - 3:08:31 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Fredrik Johansson. Calcium: computing in exact real and complex fields. ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Petersbourg / Virtual, Russia. pp.225-232, ⟨10.1145/3452143.3465513⟩. ⟨hal-02986375v2⟩

Share

Metrics

Record views

239

Files downloads

164