U. of I. computer sciences professor Dan Roth and graduate student Subhro Roy published their work in the journal Transactions of the Association for Computational Linguistics, about software developed at the University of Illinois, which enables machines to learn to understand mathematical reasoning expressed in language which could greatly improve search engines and access to data as well as boost mathematics education.