Affine-Bundle Solver v0.4.4 Released
The first public research release is available on GitHub and preserved by Zenodo, with the accompanying preprint submitted to HAL.
Tag:Mathematical Software
All the articles with the tag "Mathematical Software".
Affine-Bundle Solver
A certifying dense solver for general real linear equality systems that reports solution status, uncertainty, and independently checked proof objects.
Coding Agents Work Best When Verification Is Cheaper Than Reimplementation
Terence Tao's restored mathematical applets show where coding agents have real leverage—tasks whose outputs remain cheap for an expert to verify.