exact-arithmetic

DTL MathGate — deterministic exact-arithmetic engine with replayable certificates, stdlib-only, MIT

Disk covering problem (disc covering): global optimality proof claims for n = 11-20, exact certificates, Chinese proofs, and reproducible verification code. External review pending.

Minimal symbolic CLI calculator powered by SymPy for exact arithmetic, calculus, equation solving, and ODEs.

在固定尺规模型下研究最少作图步数：提供正十七边形 17E 与正257边形 69E 构造的精确证书、SageMath 验证、搜索记录和 Manim 动画。

Exact arithmetic for AI agents. Two independently written engines (Python exact rational/decimal + a separate C++ evaluator) cross-check every result.

阿波罗尼乌斯三圆问题的少步尺规作图研究 | Apollonius CCC constructions: verified upper bounds, exact replay, and Manim animations.

Reference implementation of Register Algebra — an exact integer and rational arithmetic in which every integer N is represented as a pair of integer registers (a, b) under the evaluation map

Public research and verification code for finite-band methods in Riemann zeta zero-proportion work. The strict >79% simple-zero theorem remains open.

Complementary residue arithmetic — 0.1 + 0.2 = 0.3, exactly.

AI-Assisted Discovery and Construction of a Counterexample to the Convergence of Three-Block ADMM with the Identity Matrix as Its Third Constraint Block

复现并扩展 zhuyidao.net「注意力计算器」：输入「常数 ⋚ 有理数」自动构造定积分恒等式证明；exact 模式输出 ℚ 上精确恒等式与机器可检证书。Reproduction + exact-arithmetic extension of the zhuyidao.net attention calculator.

Python library for exact all-integer symbolic computation in Buckminster Fuller's Synergetics — rational SymergeticsNumber arithmetic with no floating-point error, Quadray 4D tetrahedral coordinates, polyhedral volume ratios, Scheherazade numbers and primorials, and matplotlib/plotly/ASCII output. 977 tests.

Combinatorial game theory in pure Python: exact canonical forms, thermography, and game values

Exact verification suite for the sharp constant in the shift-wall bridge for odd-cycle polynomials (doi:10.5281/zenodo.21866366)

Find static arbitrage in option quote grids, and the fewest quotes to drop to remove it

Verification code and data for the Krein programme: exact rational certificates for "An Exact Derivative Calculus for Discrete Krein Strings" (satz1/) and for its application "What a Krein String Sees in Its Weights", with the Riemann zeros as a case study (krein/).

Exact counterexample (22 July 2026) and unbounded family (24 July 2026) for line-graph inertia Conjecture 4.12, with reproducible exact certificates.

Sidon / Erdős–Turán γ certificate: γ < 0.94285 (vs Hou–Zhao 0.9435). DOI 10.5281/zenodo.22212915

Exact liquidation prices for perpetual futures under tiered margin, including hedge mode