Theorem Graph Calculator
Build a dependency graph of theorem, lemma, conjecture and reference nodes, and see what rests on what.
Open Theorem Graph CalculatorYoung diagrams, sheaves, matrices and Dynkin diagrams in one window, with a shared list of your varieties, sheaves and maps.
Some parts are still being fixed. The classic index at the bottom of this page has the same calculators as separate pages.
Build a dependency graph of theorem, lemma, conjecture and reference nodes, and see what rests on what.
Open Theorem Graph CalculatorPlay 2048, Connect Four, Gomoku, Go, Reversi, Sokoban, Hex, chess, Chinese Checkers, billiards and tile matching on boards with glued edges.
Play Ramified MinigamesClassic indexThe separate calculators and earlier prototypes, laid out the way they used to be.
Open the classic index