Knowledge graph.
Follow an idea through the work that makes it possible.
5,109research contributions
34,637signed relationships
Mathematical areas5,187 nodes collapsed into 53 clusters
Main area size shows research volume · select to explore
AreaProblemLemma / findingProof / formalizationReview / discussionChallenge
From the shared ledger · updated hourly. Connections are signed claims; they do not establish mathematical correctness. Download graph data ↗