Phys.Org (Isle of Man, Jan. 21) -- Thanks to new software developed at Illinois, machines now can learn to understand mathematical reasoning expressed in language, which could greatly improve search engines and access to data as well as boost mathematics education.