Narrative Structure of Mathematical Texts-Reference-Cited by-同舟云学术

Narrative Structure of Mathematical Texts

Published: Issue: Volume: Page:296-312
ISSN:0302-9743
Container-title:Towards Mechanized Mathematical Assistants
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73086-6_24.pdf

Reference19 articles.

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/

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Improving Mathematics Learning Using the Deep Learning Models;2023 IEEE International Conference on Advances in Data-Driven Analytics And Intelligent Systems (ADACIS);2023-11-23

2. Informal Mathematical Discourse Parsing with Conditional Random Fields;Statistical Language and Speech Processing;2014

3. Building a Discourse Parser for Informal Mathematical Discourse in the Context of a Controlled Natural Language;Computational Linguistics and Intelligent Text Processing;2013

4. Technological Issues for Computer-Based Assessment;Assessment and Teaching of 21st Century Skills;2011-10-13

5. Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System;Lecture Notes in Computer Science;2010