Calcium: computing in exact real and complex fields - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Calcium: computing in exact real and complex fields

Fredrik Johansson
  • Fonction : Auteur
  • PersonId : 1008347

Résumé

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 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 $\mathbb{R}$ and $\mathbb{C}$ in which equality is rigorously decidable for a large class of numbers.
Fichier principal
Vignette du fichier
paperplain.pdf (230.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Fredrik Johansson. Calcium: computing in exact real and complex fields. 2020. ⟨hal-02986375v1⟩
306 Consultations
226 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More