error-bounds

Bridging infinite-dimensional delay dynamics with fully GPU-accelerated finite-dimensional Koopman learning and provable error bounds for nonlinear delay-differential equations.

Certify that your top-k, argmin or threshold was determined by your data and not by the rounding of the kernel it ran on — or refuse, and name the boundary.

A Lean proof library for floating-point arithmetic and numerical linear algebra.

Portable exact error bounds for dense and sparse linear systems, with independent Python and browser checkers.