Graphiti

Finite Graph

Equation implies (numeric, comma-separated):
Equation implied by (numeric, comma-separated):
Equation implies/implied by, number of edges away (numeric, comma-separated):
Limit search to equations (numeric, comma-separated):
Maximum variables:
Maximum operations:
Highlight equations in red (numeric, comma-separated):
Highlight equations in blue (numeric, comma-separated):

Show finite graph

Show unknowns and conjectures

Show sporadic equations (Equations numbered > 4694)

Collapse duals into equivalence classes

Example queries:

To render the entire graph, just clear the form and click Submit
Render the subgraph
See all paths between Eq1629 and Eq2998
Equations up to 2 variables implied by the commutative law
Implies/implied by of the commutative law up to 2 edges away
The lowest common ancestors of Equations 152 and 2449 are Equations 428,829,1033,1233,1235,1236. Graph their relationships.

Note that all vertices are clickable links to the Equation Explorer, with equivalence classes linking to the lowest numbered equivalent.

Back to search ◇ Download SVG ◇ Download PNG ◇ Download DOT ◇ Leave feedback

Last updated at: (local time), Git commit: