Characteristics of a Semantic Mathematical Document
structured data
specified in some specification
partial, human-interpreted, completed by discussions
(very weakly) specified by a grammar (and checkable)
but authors' have one goal...
<-
->
Authoring Semantic Mathematical Documents with QMath and OQMath
Mathematics on the Semantc Web
Paul Libbrecht