Published 2020-09-20T20:35:00.002Z by Physics Derivation Graph

Here is what I currently understand to be true:

- Every Physics Derivation is comprised of discrete steps.
- Each Step in a Physics Derivation has a single Inference rule.
- Every mathematical expression in a Physics Derivation can be written in Latex.
- There are some math expressions which cannot be written in a given CAS
- example: definite evaluation after integration, like (x+y)|_{a}^{b} in SymPy
- There are some derivation steps that cannot be expressed in a given CAS
- There is not a 1-to-1 correspondence between a CAS-based graph and a Latex-based graph.
- There are many gradations between "text" and Latex and CAS and proof.

The consequence of the CAS-based graph not having 1-to1 correspondence with a Latex-based graph is that the current data structure of Latex and SymPy in one graph is not suitable.