Published 2020-07-27T17:58:00.001Z by Physics Derivation Graph
Since Physics content is authored as .tex files, a useful question would be to consider how the Physics Derivation Graph could be made into a Latex package.Both MathML and OpenMath address mathematical formulas in isolation, whereas OMDoc allows to express the structure of mathematical documents, for example the relation between definitions, theorems and proofs.source: "Extracting Mathematical Semantics from LATEX Documents"