MathLang: Experience-driven development of a new mathematical language

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

In this paper we report on the design of a new mathematical language and our method of designing it, driven by the encoding of mathematical texts. MathLang is intended to provide support for checking basic well-formedness of mathematical text without requiring the heavy and diffcult-to- use machinery of full type theory or other forms of full formalization. At the same time, it is intended to allow the addition of fuller formalization to a document as time and effort permits. MathLang is intended to, ultimately, be useful in providing better software support for authoring mathematics, reading mathematics, and organizing and distributing mathematics. The preliminary language presented in this paper is intended only for machine manipulation and for debugging of the design of MathLang. © 2004 Elsevier B.V. All rights reserved.

Original languageEnglish
Pages (from-to)138-160
Number of pages23
JournalElectronic Notes in Theoretical Computer Science
Volume93
DOIs
Publication statusPublished - 18 Feb 2004
EventProceedings of the Mathematical Knowledge Management Symposium - Edinburgh, United Kingdom
Duration: 25 Nov 200329 Nov 2003

Keywords

  • Mathematical knowledge management Weak types
  • Mathematical language
  • Mathematical vernacular
  • MathLang

Fingerprint Dive into the research topics of 'MathLang: Experience-driven development of a new mathematical language'. Together they form a unique fingerprint.

  • Cite this