Narrative Structure of Mathematical Texts

DOI10.1007/978-3-540-73086-6_24MaRDI QIDQ5428279zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_24

Mathematics Subject Classification ID

Natural language processing (68T50) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Towards a theory of document structure
• MMTTeX: connecting content and narration-oriented document formats
• Structuring Mathematical Proofs
• On Correctness of Mathematical Texts from a Logical and Practical Point of View
• Computerizing mathematical text with MathLang

Cited in

(5)

• The structure of narrative: The case of film scripts
• Computerizing mathematical text with MathLang
• Structural analysis of narratives with the Coq proof assistant
• Towards a theory of document structure
• MathLang Translation to Isabelle Syntax

Describes a project that uses

Uses Software

• Coq
• Isabelle
• Mizar

This page was built for publication: Narrative Structure of Mathematical Texts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428279)