Narrative structure of mathematical texts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4573 LNAI, Issue , 2007, Pages 296-312

  Kamareddine, Fairouz ^a   Maarek, Manuel ^a   Retel, Krzysztof ^a   Wells, J B ^a  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; TEXT PROCESSING; THEOREM PROVING;

AUTHORING STYLES; MATHEMATICAL TEXTS; NARRATIVE STRUCTURE;

DATA STRUCTURES;

EID: 38049017424     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73086-6_24     Document Type: Conference Paper

References (19)

1. de Bruijn, N.G.: The mathematical vernacular, a language for mathematics with typed sets. In: Workshop on Programming Logic, Sweden (1987)
2. Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes. W3C Recommendation (2001)
3. Kamareddine, F., Wells, J.: MathLang: A new language for mathematics, logic, and proof checking. A research proposal to UK funding body (2001)
4. Kamareddine, F., Maarek, M., Retel, K., Wells, J.B.: Gradual computerisation/formalisation of mathematical texts into mizar (2007) http://www.macs.hw.ac.uk/~retel/
5. Kamareddine, F., Lamar, R., Maarek, M., Wells, J.B.: Restoring Natural Language as a Computerised Mathematics Input Method (2007) http://www.macs.hw. ac.uk/~mm20/
6. Kamareddine, F., Maarek, M., Wells, J.B.: Toward an object-oriented structure for mathematical text. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, Springer, Heidelberg (2006)
7. Kamareddine, F., Nederpelt, R.: A refinement of de Bruijn's formal language of mathematics. J. Logic Lang. Inform. 13(3), 287-340 (2004)
8. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
9. Lange, Ch.: SWiM - A Semantic Wiki for Mathematical Knowledge Management, Technical Report (December 2006)
10. Lassila, O., Swick, R.R.: Resource Description Framework (RDF) Model and Syntax Specification. W3C Recommendation (1999)
11. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. W3C Recommendation (2004)
12. Moller, J.M.: General topology. Authors' notes, last visit 2007-02-25. Available at http://www.math.ku.dk/~moller/e03/3gt/notes/gtnotes.pdf
13. Nakagawa, K., Suzuki, M.: Mathematical knowledge browser with automatic hyperlink detection. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, Springer, Heidelberg (2006)
14. Nakagawa, K., Nomura, A., Suzuki, M.: Extraction of Logical Structure from Articles in Mathematics. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, Springer, Heidelberg (2006)
15. Roy, B.: Transitivité et connexité. C. R. Acad. Sci. Paris 249, 216-218 (1959)
16. Rudnicki, P., Trybulec, A.: On equivalents of well-foundedness. An experiment in MIZAR. Journal of Automated Reasoning 23(3-4), 197-234 (1999)
17. Sierpiński, W.: Elementary Theory of Numbers. PWN, Warszawa (1964)
18. Smith, M.K., Welty, Ch., McGuinness, D.L.: OWL Web Ontology Language Guide. W3C Recommendation (2004)
19. Warshall, S.: A theorem on boolean matrices. J. ACM 9(1), 11-12 (1962)