exact-arithmetic

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

Exact floating-point arithmetic in R.

Fast, stack-allocated linear algebra for fixed dimensions

Exact matrix products on FP4 Tensor Cores: the Adaptive Weight Encoding (AWE) catalog and the BLAS routines built on it.

A Computer Algebra System for Scala 3: symbolic calculus, exact arithmetic, linear algebra, integral transforms, control theory, and a REPL.

An embeddable, sandbox-first symbolic term-rewriting language and runtime in Rust — exact rational arithmetic and a capability sandbox for safely evaluating untrusted scripts.

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

Origami folding sequences as programs, evaluated exactly into a FOLD file with every folded state

mmCalculator – Mathematical Machinery Calculator. Exact-first CLI calculator and compact CAS with arbitrary-precision, symbolic math and linear algebra.

Exact fraction math for TypeScript and JavaScript: parse, compare, format, and compute rational numbers with Python-style APIs.

Order-invariant, bit-identical floating-point reductions for Rust. Any order. Any hardware. Same bits.

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

Exact geometric predicates over integer coordinates with enforced bounds - plus the committed proof the float versions fail: 657 adversarial cases where CI asserts the double predicate is wrong and the exact one is right, every push. Grew from a real D* Lite key-tie bug. ~2x cost, measured.

在固定尺规模型下研究最少作图步数：提供正十七边形 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.

A lightweight, no-std, pure Rust mathematical kernel for the exact evaluation of two-center Coulomb integrals over ns Slater-type orbitals. Features a zero-allocation, physics-agnostic implementation suitable for both semi-empirical methods (QEq/ReaxFF) and ab initio calculations.

A modern decimal library for TypeScript, built on BigInt. Addition and multiplication are exact; rounding takes a precision argument.

Holonics: a mathematical, physical and computational framework grounded in the reality of difference. Exact arithmetic in Rust and CUDA, formal mathematics in Lean 4, and the HNN, a learning machine built from rings and helical contacts. Research in progress, shared openly.

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

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