Flexible encoding of mathematics on the computer

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

Volumn 3119, Issue , 2004, Pages 160-174

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

^a HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; KNOWLEDGE MANAGEMENT;

MATHEMATICAL STRUCTURE; MULTIPLE VIEWS; NATURAL LANGUAGE TEXT; NATURAL LANGUAGES; PYTHAGORAS; THEOREM PROVERS;

ENCODING (SYMBOLS);

EID: 33745641592     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27818-4_12     Document Type: Article

References (22)

1. A. Asperti, L. Padovani, C. Sacerdoti Coen, F. Guidi, and I. Schena, Mathematical Knowledge Management in HELM, AMAI 38(1-3), pp. 27-46, 2003.
2. MACS as authoring tool for publication and dissemination of formal developments, UTTP, 2003.
3. H. Barendregt, Towards an interactive mathematical proof mode, in: Thirty Five Years of Automating Mathematics, Kamareddine (ed.), Applied Logic 28, 2003.
4. N.G. de Bruijn, The Mathematical Vernacular, a language for mathematics with typed sets, Workshop on Programming Logic, 1987.
5. Y. Coscoy, A Natural Language Explanation for Formal Proofs, LACL, 1996.
6. J.H. Davenport, MKM from Book to Computer: A Case Study, LNCS 2594, pp. 17-29, 2003.
7. S. Deach, Extensible Stylesheet Language (XSL) Recommendation, World Wide Web Consortium, 1999, http://www.w3.org/TR/xslt.
8. Mathematics On the Web: Get it by Logic and Interfaces (MOWGLI), http://www. mowgli.cs.unibo.it/.
9. L. Théry, Formal Proof Authoring: an Experiment, UITP, 2003.
10. Heath, The 13 Books of Euclid's Elements, Dover, 1956.
11. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, pp. 1879-1931, Harvard University Press, 1967.
12. F. Kamareddine and R. Nederpelt, A refinement of de Bruijn's formal language of mathematics, Journal of Logic, Language and Information 13(3), pp. 287-340, 2004.
13. F. Kamareddine, M. Maarek, and J.B. Wells, MathLang: Experience-driven development of a new mathematical language, ENTCS 93, pp. 138-160, 2004.
14. M. Kohlhase, OMDoc: An Open Markup Format for Mathematical Documents (Version 1.1), Technical report, 2003.
15. E. Landau, Foundations of Analysis, Chelsea, 1951.
16. Z. Luo and P. Callaghan, Mathematical vernacular and conceptual well-formedness in mathematical language, LNCS/LNAI 1582, 1999.
17. M. Maarek and V. Prevosto, FoCDoc: The documentation system of FoC, Calculemus, 2003.
18. A. Ranta, Grammatical Framework: A Type-Theoretical Grammar Formalism, Journal of Functional Programming, 2003.
19. P. Rudnicki and A. Trybulec, On equivalents of well-foundedness, Journal of Automated Reasoning 23, pp. 197-234, 1999.
20. F. Wiedijk, The Fifteen Provers of the World, University of Nijmegen.
21. F. Wiedijk, Comparing Mathematical Provers, LNCS 2594, pp. 188-202, 2003.
22. J. Zimmer and M. Kohlhase, System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning, LNCS 2392, 2002.