A general framework for unifying mathematical knowledge, clustering it to prove previously unknown equivalences across scientific literature—demonstrated by connecting historic and modern formulas for 𝜋.