Narrative Structure of Mathematical Texts
Identifieur interne : 000434 ( Istex/Curation ); précédent : 000433; suivant : 000435Narrative Structure of Mathematical Texts
Auteurs : Fairouz Kamareddine ; Manuel Maarek ; Krzysztof Retel ; B. WellsSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
Abstract
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 ”axiom”) and (2) checking that the logical precedences in the document are self-consistent. The development of this method was driven by the experience of computerising a number of mathematical documents (covering different authoring styles). We illustrate how such computerised narrative structure could be used for further manipulations, i.e. to build a skeleton of a formal document in a formal system like Mizar, Coq or Isabelle.
Url:
DOI: 10.1007/978-3-540-73086-6_24
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000434
Links to Exploration step
ISTEX:5928DA25C0C059A841D18103BC1854AF9743DC6BCuration
No country items
Fairouz Kamareddine<affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation>Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Narrative Structure of Mathematical Texts</title><author><name sortKey="Kamareddine, Fairouz" sort="Kamareddine, Fairouz" uniqKey="Kamareddine F" first="Fairouz" last="Kamareddine">Fairouz Kamareddine</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author><author><name sortKey="Maarek, Manuel" sort="Maarek, Manuel" uniqKey="Maarek M" first="Manuel" last="Maarek">Manuel Maarek</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author><author><name sortKey="Retel, Krzysztof" sort="Retel, Krzysztof" uniqKey="Retel K" first="Krzysztof" last="Retel">Krzysztof Retel</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author><author><name sortKey="Wells, B" sort="Wells, B" uniqKey="Wells B" first="B." last="Wells">B. Wells</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:5928DA25C0C059A841D18103BC1854AF9743DC6B</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-540-73086-6_24</idno><idno type="url">https://api.istex.fr/document/5928DA25C0C059A841D18103BC1854AF9743DC6B/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000434</idno><idno type="wicri:Area/Istex/Curation">000434</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Narrative Structure of Mathematical Texts</title><author><name sortKey="Kamareddine, Fairouz" sort="Kamareddine, Fairouz" uniqKey="Kamareddine F" first="Fairouz" last="Kamareddine">Fairouz Kamareddine</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author><author><name sortKey="Maarek, Manuel" sort="Maarek, Manuel" uniqKey="Maarek M" first="Manuel" last="Maarek">Manuel Maarek</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author><author><name sortKey="Retel, Krzysztof" sort="Retel, Krzysztof" uniqKey="Retel K" first="Krzysztof" last="Retel">Krzysztof Retel</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author><author><name sortKey="Wells, B" sort="Wells, B" uniqKey="Wells B" first="B." last="Wells">B. Wells</name><affiliation><mods:affiliation>ULTRA group, Heriot-Watt University</mods:affiliation><wicri:noCountry code="subField">University</wicri:noCountry></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2007</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">5928DA25C0C059A841D18103BC1854AF9743DC6B</idno><idno type="DOI">10.1007/978-3-540-73086-6_24</idno><idno type="ChapterID">24</idno><idno type="ChapterID">Chap24</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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 ”axiom”) and (2) checking that the logical precedences in the document are self-consistent. The development of this method was driven by the experience of computerising a number of mathematical documents (covering different authoring styles). We illustrate how such computerised narrative structure could be used for further manipulations, i.e. to build a skeleton of a formal document in a formal system like Mizar, Coq or Isabelle.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Ticri/explor/TeiVM2/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000434 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 000434 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Ticri
|area= TeiVM2
|flux= Istex
|étape= Curation
|type= RBID
|clé= ISTEX:5928DA25C0C059A841D18103BC1854AF9743DC6B
|texte= Narrative Structure of Mathematical Texts
}}
| This area was generated with Dilib version V0.6.31. |  |