exact-arithmetic

Exact floating-point arithmetic in R.

C# library for lazy arithmetic with potentially infinite continued fractions.

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.

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

Julia implementation of partition-theoretic prime detection: expressions E1-E6 that vanish iff n is prime, based on Craig-van Ittersum-Ono (2024). Includes quasi-shuffle algebra, exact rational arithmetic, and companion notebooks for three research papers.

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

A dual-strand integer: machine i64 (fast, wraps) + exact BigInt (never overflows). The Ariane 5 would have landed.

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

A symbolic mathematics library for Java. Exact arithmetic on integers, decimals, rationals, irrationals (roots, logarithms, trigonometric values, π, e) and complex numbers. Mathematical sets with formal inclusion and membership. No floating-point approximation — all operations are exact and formally provable.

Exact rational arithmetic via p-adic numbers. Zero floating-point errors. Based on Ostrowski (1916), Hensel (1904), Krishnamurthy (1977). Interactive web demo included.

Exact rational arithmetic with field axioms and parse/toString round-trip proofs in Lean 4

Exact verification-domain profiles and positive scalarisation certificates for finite multi-objective optimisation.

Three exact-arithmetic verification pipelines — λ=2c conformal identities + the emission-gap theorem, Mahler-measure matrix plates (interactive in-browser explorer), and residual-return learning dynamics over number fields. Every load-bearing claim is machine-checked; all suites pass.

Byte-exact theorems on the Fermat quartic fourfold lattice — from a run at the unbeaten dimension-128 sphere-packing record. Keystone: the Bridge Theorem (Hodge norm = geometric intersection form).

Exact rational-number arithmetic for Standard ML, built on IntInf. Portable (Basis-only), tested on MLton and Poly/ML.

An embeddable scientific calculator library with exact arithmetic and high-precision evaluation, powered by a no_std Rust core with WebAssembly and npm bindings.

A reproducible, dependency-free, exact-arithmetic laboratory for exploring Collatz dynamics and formalizing structural obstructions.

Machine-checkable exact matrix-multiplication circuits and scalable shared-preprocessing constructions

Exact rational certificates for a candidate conditional metric-TSP 4/3 n+7 support theorem on the subtour-elimination polytope; external review requested.