Restoring Natural Language as a Computerised Mathematics Input Method

@inproceedings{Kamareddine2007RestoringNL,
  title={Restoring Natural Language as a Computerised Mathematics Input Method},
  author={Fairouz Kamareddine and Robert Lamar and Manuel Maarek and Joe B. Wells},
  booktitle={Calculemus/MKM},
  year={2007}
}
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… CONTINUE READING