Skip to Main content Skip to Navigation
Preprints, Working 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 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.
Complete list of metadatas

Cited literature [37 references]  Display  Hide  Download

https://hal.inria.fr/hal-02986375
Contributor : Fredrik Johansson <>
Submitted on : Tuesday, November 3, 2020 - 3:16:10 PM
Last modification on : Wednesday, November 4, 2020 - 3:34:04 AM

Files

paperplain.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02986375, version 1
  • ARXIV : 2011.01728

Collections

CNRS | IMB | INRIA

Citation

Fredrik Johansson. Calcium: computing in exact real and complex fields. 2020. ⟨hal-02986375⟩

Share

Metrics

Record views

71

Files downloads

31