论文标题
钙：精确和复杂领域的计算
Calcium: computing in exact real and complex fields
论文作者
论文摘要
钙是适用于适合精确代数和符号计算的形式的真实和复数的C库。数字表示为字段的元素$ \ mathbb {q}（a_1，\ ldots，a_n）$，其中扩展名$ a_k $可能是代数或超越。该系统将有效的现场操作与自动发现和代数关系认证相结合，从而实现了$ \ Mathbb {r} $和$ \ Mathbb {C} $的实用计算模型，其中等于对大量数字的平等可以严格决定。
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.
