Navigating the Physics Derivation Graph website

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

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

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