An Adaptive Parser for Mathematics
Edmund Furse
Whilst several computer algebra systems exist, there are no computer systems which address the whole class of pure mathematics. Despite the variety of branches of pure mathematics it is possible to describe much of pure mathematics formally in the language FEL, Formal Expression Language. As in ordinary mathematics, FEL allows the definition of new terms, and this allows the parser to dynamically build parsing frames for each new term introduced. The FEL text is parsed into a predicate calculus format with all the linguistic knowledge stored in the CMS, Contextual Memory System. The parser is part of the MU, Mathematics Understander, program which "reads" pure mathematics texts in FEL, producing explanations of the steps and solutions to the simple problems. MU has successfully "read" texts in group theory and classical analysis.

Furse E., (1993), An Adaptive Parser for Mathematics, Technical Report no. CS-93-4, Department of Computer Studies, University of Glamorgan.

List of Papers