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
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
13 Citations
24 References
Similar Papers

Similar Papers

Loading similar papers…