Navigating the Physics Derivation Graph website

query graph using Cypher
export as Cypher or export as JSON or export as CSV or export as GraphML. Export metadata.
show 45 derivations, (which are comprised of steps); you have to sign in to create new derivations
show 95 inference rules (which are used in steps to relation expressions)
show 644 expressions (which have a relation, e.g., equality or inequality, as well as LHS and RHS each comprised of symbols)
show 356 feeds (which have one or more non-operation symbols; no equality or inequality)
symbols

show 41 operations (which require arguments; separate terms within one side of an expression)
show 10 relations (which separate LHS and RHS of expression)
show 221 scalars (which have dimensionality)
show 14 vectors (of size 1xn or nx1). Includes bra, ket.
show 0 matrices (of size nxm)

You have to sign in to upload Cypher files or delete all content.

timing of Neo4j queries: