Roadmap for Formal Mathematical Physics Content


Explanation: The initial introduction to the ideas and concepts in a classroom or in research is often a verbal overview and potentially a whiteboard. There is sometimes interactive engagment between the speaker and audience which allows for questions and monitoring how well the content is conveyed.

Who does this work: human presenter (teacher, researcher)

Motive for doing this work: convey or develop knowledge

  1. lecture video
  2. hand-written notes
  3. Latex document
  4. Content tags
  5. tags for sections and words and expressions
  6. concepts to variables
  7. all steps
  8. derivation graph
  9. replace symbols with numeric ID
  10. validation of steps
  11. validation of dimension
  12. proof of inference rule
Back to layers overview