exact-arithmetic

Independent exact certification of machine-generated mathematics — exact arithmetic, no code shared with the claimant, refusal as a verdict.

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.

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

Deterministic symbolic sonification research: ETQ-101/303 E8-root-derived state models, exact D4 triality covariants and S3 equivariance, reproducible MIDI/JSON/CSV artifacts, plus separate browser and Python audio labs.

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

A general-purpose introductory programming language designed with secondary students in mind. Exact fractions, no null, and errors that name the fix.

Exact comparison and semantic canonicalization for finite normal-play combinatorial games

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/).

Zero-axiom Smithian Fold Theory with exact machine-checked derivations across physics, mathematics, classical computation, and quantum computation

Special Dividend Adjustment — https://thefintechbuilder.com/corporate-actions-and-security-master-data/complex-distributions/special-dividend-adjustment/

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

Exact step-function certificates for Tao's constants C_1c and C_1d

Exact search for heavy-ball cycles on 1D smooth strongly convex functions at tunings outside Omega_aug: evidence for the 1D consequence of the Fotopoulos et al. conjecture | بحث دقيق عن دورات طريقة الكرة الثقيلة على دوال ملساء قوية التحدب ذات بعد واحد عند معاملات خارج منطقة جذور الوحدة الموسّعة، أدلةً على ما تقتضيه حدسية فوتوبولوس وزملائه

Calculate an inference-cost estimate from explicit usage and price inputs.

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

Exact-decimal double-entry kernel for AI agents. Call MCP tools instead of doing money math in tokens. Fail-closed, audit-hashed, deterministic.

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

Check exact error bounds for dense and sparse linear systems in Python or a browser.

Gradient descent optimization curves: consecutive convexity violations, convex and strongly convex optimization, PEPit performance estimation, exact certificates, counterexamples and selected Lean 4 proofs. | انكسارات التحدّب المتتالية في منحنيات التحسين للانحدار التدريجي