当前位置: X-MOL 学术arXiv.cs.SC › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Calcium: computing in exact real and complex fields
arXiv - CS - Symbolic Computation Pub Date : 2020-11-03 , DOI: arxiv-2011.01728
Fredrik Johansson (LFANT)

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.

中文翻译:

钙:在精确的真实和复杂领域中计算

Calcium 是一个适用于精确代数和符号计算形式的实数和复数的 C 库。数字表示为字段 $\mathbb{Q}(a_1,\ldots,a_n)$ 的元素,其中扩展数 $a_k$ 可以是代数的或超越的。该系统将高效的现场运算与代数关系的自动发现和证明相结合,产生了一个实用的 $\mathbb{R}$ 和 $\mathbb{C}$ 计算模型,其中对于一大类数字严格确定相等性。
更新日期:2020-11-04
down
wechat
bug