Sciweavers

Share
MKM
2007
Springer

Narrative Structure of Mathematical Texts

9 years 1 months ago
Narrative Structure of Mathematical Texts
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (e.g., chapter, section, theorem or proof ) and identifying statements according to their logical importance (e.g., theorem is more important than lemma). Such narrative/structuring labels guide the reader’s navigation of the text and form the key components in the reasoning structure of the theory reflected in the text. We present in this paper a method to computerise the narrative structure of a text which includes the relationships between labeled text entities. These labels and relations are input by the user on top of their natural language text. This narrative structure is then automatically analysed to check its consistency. This automatic analysis consists of two phases: (1) checking the correct usage of labels and relations (i.e., that a “proof” justifies a “theorem” but cannot justify an ...
Fairouz Kamareddine, Manuel Maarek, Krzysztof Rete
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where MKM
Authors Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
Comments (0)
books