During the last few years I have been working on a project involving Natural Language Processing (NLP). On Thursday, March 8, 2012 I presented my ideas on this to an AI class at CSUEB. Here is an abstract and here are the slides .
This is the definition of limit of a function at a point, which is denoted by: It was obtained by submitting the text "For every positive number epsilon..." to the VISL parser at the South Danish University Arboretum web site . This site handles a variety of different languages, including English. The expression can be parsed by compilers or interpreters. For example, here is what Mathematica does with it: The mathematical text diagramed above appears in some form in most modern
Some of my other masters thesis students are doing interesting stuff. For example, Ranbir Parmar has done his MS thesis along the lines of the following paper: