Restoring natural language as a computerised mathematics input method

Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

Methods for computerised mathematics have found little appeal among mathematicians because they call for additional skills which are not available to the typical mathematician. We herein propose to reconcile computerised mathematics to mathematicians by restoring natural language as the primary medium for mathematical authoring. Our method associates portions of text with grammatical argumentation roles and computerises the informal mathematical style of the mathematician. Typical abbreviations like the aggregation of equations a = b > c, are not usually accepted as input to computerised languages. We propose specific annotations to explicate the morphology of such natural language style, to accept input in this style, and to expand this input in the computer to obtain the intended representation (i.e., a = b and b > c). We have named this method syntax souring in contrast to the usual syntax sugaring. All results have been implemented in a prototype editor developed on top of TEXMACS as a GUI for the core grammatical aspect of MathLang, a framework developed by the ULTRA group to computerise and formalise mathematics. © Springer-Verlag Berlin Heidelberg 2007.

Original languageEnglish
Title of host publicationTowards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings
Pages280-295
Number of pages16
Volume4573 LNAI
Publication statusPublished - 2007
Event14th Symposium on Calculemus 2007 and 6th International Conference on Mathematical Knowledge Management - Hagenberg, Austria
Duration: 27 Jun 200730 Jun 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4573 LNAI
ISSN (Print)0302-9743

Conference

Conference14th Symposium on Calculemus 2007 and 6th International Conference on Mathematical Knowledge Management
Abbreviated title MKM 2007
CountryAustria
CityHagenberg
Period27/06/0730/06/07

Fingerprint

Dive into the research topics of 'Restoring natural language as a computerised mathematics input method'. Together they form a unique fingerprint.

Cite this