math

6 site entries connected to this topic.

Work

Find simple equations for a number.

Open-source toolRelease 2.1.0

June 26, 2026

Profiling led me to a ranking bug, then to parallel matching.

March 15, 2026

Bringing Robert Munafo’s solver to the command line, Python, and the browser.

An encyclopedia of integer sequences, with formulas, programs, comments, and cross-references.

Robert Munafo’s notes and experiments, with plenty of paths from one subject to another.

A language and toolchain for writing code and checking mathematical proofs.