# statements I believe to be true

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.