Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework.
Manuel Maarek · 2007
A comprehensible computerisation of mathematical texts requires jointly to reflect the mathematician’s phrasing and to put his thoughts in a formalised shape. The MathLang project faces these antagonist goals by decomposing the computerisation/formalisation process by means of discerned aspects. This thesis is concerned with two of these aspects which are, firstly the definition of a formal grammar for informal mathematical argumentation and secondly the elaboration of an authoring and encoding method linking the mathematician’s own phrasings with unequivocal explanations. We have developed these two MathLang aspects to a prototype stage where texts and symbols are related to checkable grammatical constructs. We have experimented with our system the edition of texts from the mathematical literature.