Semantic Mathematical Documents
Ingredients
Text
Well defined units with roles
e.g. definition, example, motivation
Role-based relations between items
Semantic math formulae
Extra content for interactivity and multimeda targets
OMDoc
is an example
<-
->
Authoring Semantic Mathematical Documents with QMath and OQMath
Mathematics on the Semantc Web
Paul Libbrecht