## Roadmap for Formal Mathematical Physics Content

 Explanation: While the tagging of content in a Latex document (e.g., sections, words, expressions) can be useful for linking and searches, there are many implied steps in the original Latex document that are undocumented. The Physics Derivation Graph is a way to document all the implied steps and their associated inference rules. Who does the work: manual entry using a webform. Motivation for the work: clearer connectivity of derivation steps. Enables validation of steps. Navigation: lecture video hand-written notes Latex document Content tags tags for sections and words and expressions concepts to variables all steps derivation graph replace symbols with numeric ID validation of steps validation of dimension proof of inference rule Back to layers overview

scenario description Suppose an
tangible entityobject
initial conditionstarts an
locationinfinite distance
from a
tangible entitymoon
and is dropped, falling towards the moon
due to gravitational acceleration.
question What is the speed of the object when it is distance $$r$$ from the moon?
figure of scenario
Figure 1: small mass falling towards a moon from initial position at infinity.

The following is from the Physics Derivation Graph