An intelligent assistant for mathematical production

Many functionalities like text auto filling, spell checking, thesaurus, translation, grammar, and many others, have been introduced to check textual document production but no feature have been integrated to any computer application which can help a user to produce own mathematical formula or from the existing reusable shared resources. We address the issue by developing an assistant to be incorporated into computer applications which is used by different users to produce equations and statements. Our main objective is to facilitate a mathematician to build a database of well structured formulae that can be reused either by him or by any of his colleagues. The assistance is provided on the basis of a context stored in the form of a knowledge base which is dynamically enhanced /updated with an online learning functionality. Concurrent Versioning System (CVS) approach will be incorporated to facilitate users for sharing of knowledge and exploiting the potential advantage of internet and distributed computing.