An intelligent assistant for mathematical production

  • Authors:
  • Zahoor ur Rehman;Muhammad Imran Sarwar;Muhammad Aslam;Muhammad Shaheen

  • Affiliations:
  • Al-Khawarizmi Institute of Computer Science, Lahore;Al-Khawarizmi Institute of Computer Science, Lahore;UET, Lahore, Pakistan;UET, Lahore, Pakistan

  • Venue:
  • Proceedings of the 7th International Conference on Frontiers of Information Technology
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.