Hosted on MSN2mon
To encourage research, Infosys awardees from abroad to spend a month in Indian institutionsBengaluru: "The state of theorem-proving machines today is comparable to where chess was in the 1950s ... and Mathematics Unit at Indian Statistical Institute, Kolkata ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback