Exact floating-point arithmetic in R.

Fast, stack-allocated linear algebra for fixed dimensions

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

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.

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

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

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.

AI-native exact calculator and contract-first Rust CLI for typed JSON math, symbolic reasoning, property tests, and mutation-tested agent workflows.

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

Exact-arithmetic computational study of the unit-square four-distance problem (rational distances to all four corners, Guy UPINT D19): K2,2 search, slope closure, Sage Mordell-Weil quartic fibers, and a theorem-grade filter stack.

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

Verifier-guided normal-form search with exact algebraic replay as the acceptance authority.

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

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 verification-domain profiles and positive scalarisation certificates for finite multi-objective optimisation.

A Rust implementation of exact real number arithmetic, inspired by the Android Calculator and based on Hans-J. Boehm’s research.

Exact proof objects and standalone verification for weighted-sum supportability and unsupportedness in finite multi-objective optimisation.

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

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.