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… (More)
Due to a strict page limit for MKM 2007, it was necessary to remove the appendix from the paper  and instead provide its contents through an alternative medium. Distributed on the respective web sites of the paper's authors, the contents are reproduced in this document. The reader will find herein an example in which the method of the above mentioned… (More)
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between varied comput-erised forms is also a difficult problem. MathLang, a system of methods and representations for computerising mathematics, tries to make these tasks more tractable by… (More)
iii 1 Introduction 1 1.
A paper providing details of work accomplished during the second year of the PhD, and a plan for completion of dissertation in the final year. The objective of this PhD is to establish a path for conversion of mathematics from natural language to formalisation. This path is to be created in the context of the mathematics computerisation framework.… (More)