Calcium: computing in exact real and complex fields
Langue
en
Communication dans un congrès
Ce document a été publié dans
ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, 2021-07-18, Saint-Petersbourg / Virtual. 2021p. 225-232
ACM
Résumé en anglais
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 ...Lire la suite >
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.< Réduire
Origine
Importé de halUnités de recherche