Interactive research corpus

Equations, concepts, chronology, and connections.

The tools page uses the canonical 142-object equation feed, the corpus glossary, dated releases, and explicit concept edges. It is an interactive exploration layer rather than a second source of truth.

Full equation explorer SymPy equation cards Lean coverage

Glossary

Concept definitions.

Search by term, definition, mathematical notation, or conceptual family.

Equations

Canonical equation tool.

All 142 equations with rendered formulas, definitions, status labels, exact entry links, and canonical sources.

Equation

Select an equation

LaTeX source

Open full equation card Canonical source ↗

Chronology

Calendar of the research program.

Events are positioned by year, month, and day. The continuous timescale preserves the full interval from the first release to the latest dated release.

Concept graph

Obsidian-style corpus graph.

Glossary terms connect to family hubs, explicit semantic edges, and the master-equation architecture. Drag nodes, pan, zoom, search, and filter by family.

Drag nodes · drag background to pan · scroll to zoom