Can a computer be a mathematician?

Date: 
2015/06/17 Wed 15:00 - 16:00
Room: 
Room 420, RIMS
Speaker: 
Kazushige Terui
Affiliation: 
Research Institute for Mathematical Sciences, Kyoto University
Abstract: