Calcium: computing in exact real and complex fields - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2021

Calcium: computing in exact real and complex fields

Fredrik Johansson
  • Function : Author
  • PersonId : 1008347

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.
Fichier principal
Vignette du fichier
paper.pdf (670.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02986375 , version 1 (03-11-2020)
hal-02986375 , version 2 (15-05-2021)

Identifiers

Cite

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⟩
373 View
250 Download

Altmetric

Share

More