THE OMEGA INSTITUTE / CONNECTED RESEARCH
Research Discovery
Follow an idea from a public question to a formal result, a change of representation, and the next problem.
PAPERS / QUESTIONS / FORMAL MATHEMATICS
The connections behind the result
Select a node to follow its connections. Drag nodes, pan the background, or zoom. Solid lines record sourced relationships; dashed lines mark proposed transfers.
LiteratureQuestionsFormal resultsRepresentationsExplanations
Find a starting point
Loading research records...