Graphiti

Equation implies (numeric, comma-separated):
Equation implied by (numeric, comma-separated):
Limit search to equations (numeric, comma-separated):
Maximum variables:
Maximum operations:
Hightlight equations in red (numeric, comma-separated):
Hightlight equations in blue (numeric, comma-separated):

Show unknowns and conjectures

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 3 variables implied by the commutative law
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 ◇ Leave feedback

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