Exact Mathematics · Number Theory
精确数论计算
整数不经过浮点数转换。质因数分解可接收至少 10100 的输入；素数计数和非互质模数下的中国剩余定理都给出精确整数结果。
质数判定与质因数分解
BigInt + Miller–Rabin + Pollard–Brent
严格性边界：小于 264 的素性判定是确定性的；更大的“可能质数”会明确标注为概率结果。分解等式及已找到因子的乘积始终是精确整数等式，困难的百位半素数可能在浏览器时间预算内只得到部分分解。
素数计数 π(x)
精确 Lehmer prime counting
Euclid 工具箱
GCD、LCM、Bézout、模逆元
广义中国剩余定理
模数不要求两两互质
可解条件：合并 x ≡ a (mod m) 与 x ≡ b (mod n) 时，只要求 gcd(m,n) 整除 b−a。若条件不满足，页面会指出发生冲突的合并步骤。