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.