Physics Derivation Graph navigation Sign in

Physics Derivation Graph as Latex package: omdoc and sTeX

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.

A literature search indicates sTeX is the closest implementation, featuring a domain specific language (the cmathml package) enabling concise specification of Content MathML and the ability to generate math Latex or Presentation MathML. While necessary, the Content MathML does not address other aspects of the Physics Derivation Graph like (Godel numbering for symbols) and (inference rules between steps).

There are efforts to semantically structure mathematical papers, for example OMDoc.
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"

There is a Physics extension for OMDoc, PhysML