## Physics Derivation Graph |
|||

In this example, there are three expressions. Each expression is defined by a left-hand side, a relation operator (here "="), and a right-hand side. Two instances of the Equivalence relation relate the three expressions. These relations between expressions are called inference rules. The generic form of the first inference rule used in the example is "multiply both sides of an expression by a quantity to yield a new expression." Similarly, the second inference rule is generically, "divide both sides of an expression by a quantity to yield a new expression." The central database for documenting relations in derivations of Physics is a set of CSV files. This can be transformed into other formats: GraphViz, JSON, and LaTeX.
## Jargon specific to this projectA derivation is a sequence of steps. Each step in a derivation involves an "inference rule." An inference rule relates one or more "expressions." An inference rule may require one or more "feed" values. An expression is, by default, composed of (LHS, relation operator, RHS). Expression operators include both equations (the relation operator is equality) and inequalities (the relation operator is an inequality). "Inference rules", "expressions", and "feeds" are words specific to the Physics Derivation Graph. Represented graphically, Read this directed graph as, "The inference rule acts on the input expression and, combined with the feed, produces the output expression." Inference rules can be considered as functions; the above picture would be inference_rule(input_expression, feed) yields output_expression
## Disclaimers regarding scope of the projectNo new research in math or physics is needed to validate these claims. This project documents the relations between derivations used to describe physical experiments. There are no new algorithms. The Physics Derivation Graph is about documenting existing knowledge. Derivations used in Physics are mathematical expressions linked by a finite set of inference rules. From this observation, a few claims can be made. - A finite static graph exists which relates all expressions of mathematical physics. In this graph, nodes are expressions and edges are inference rules.
- A finite number of unique inference rules are needed to express the relations between expressions.
The Physics Derivation Graph does not include geometric arguments The Physics Derivation Graph does not include textual explanations about why algebraic manipulations are being carried out. The Physics Derivation Graph is similar to a Schuam's outline, except it covers all known Physics and documents the relations between various governing expressions. There are no automatic mechanisms for generating new content. The Physics Derivation Graph does include boundary conditions and initial conditions. |