Navigating the Physics Derivation Graph website

site map (this page)
query graph using Cypher
export as Cypher or export as JSON
show 0 derivations, (which are comprised of steps); you have to sign in to create new derivations
show 0 inference rules (which are used in steps to relation expressions)
show 0 expressions (which have a relation, e.g., equality or inequality, as well as LHS and RHS each comprised of symbols)
show 0 feeds (which have one or more non-operation symbols; no equality or inequality)
symbols

show 0 operations (which require arguments; separate terms within one side of an expression)
show 0 relations (which separate LHS and RHS of expression)
show 0 scalars (which have dimensionality)
show 0 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: