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.
Mathematics
Structures, quantities, proofs, and mathematical methods considered in their own right.
6 published materials across notes, projects, and publications.
Primary in this field
Work whose central question belongs to Mathematics.
Affine-Bundle Solver
A certifying dense solver for general real linear equality systems that reports solution status, uncertainty, and independently checked proof objects.
Paper Diagrams Are Maps, Not Proof Certificates
Dependency diagrams can make mathematical papers easier to navigate, provided their inferred structure is not mistaken for verified proof evidence.
Cross-field connections
Work centred elsewhere that materially uses or informs Mathematics.
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.
Property-Based Testing Starts with the Property, Not the Generator
Property-based testing is more than randomized input generation; its value depends on the property, distribution, oracle, shrinking, and evidence.
Introducing MetronForge: An Independent Research Notebook
MetronForge is an independent research notebook for engineering observations, computational experiments, projects, and formal publications.