Calcium: computing in exact real and complex fields
| hal.structure.identifier | Lithe and fast algorithmic number theory [LFANT] | |
| dc.contributor.author | JOHANSSON, Fredrik | |
| dc.date.accessioned | 2024-04-04T02:46:33Z | |
| dc.date.available | 2024-04-04T02:46:33Z | |
| dc.date.issued | 2021 | |
| dc.date.conference | 2021-07-18 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/191561 | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | en | |
| dc.publisher | ACM | |
| dc.title.en | Calcium: computing in exact real and complex fields | |
| dc.type | Communication dans un congrès | |
| dc.identifier.doi | 10.1145/3452143.3465513 | |
| dc.subject.hal | Informatique [cs]/Calcul formel [cs.SC] | |
| dc.subject.hal | Mathématiques [math]/Théorie des nombres [math.NT] | |
| dc.subject.hal | Informatique [cs]/Logiciel mathématique [cs.MS] | |
| dc.identifier.arxiv | 2011.01728 | |
| bordeaux.page | 225-232 | |
| bordeaux.hal.laboratories | Institut de Mathématiques de Bordeaux (IMB) - UMR 5251 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation | |
| bordeaux.country | RU | |
| bordeaux.conference.city | Saint-Petersbourg / Virtual | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-02986375 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.conference.end | 2021-07-23 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-02986375v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2021&rft.spage=225-232&rft.epage=225-232&rft.au=JOHANSSON,%20Fredrik&rft.genre=unknown |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||