Gao Xiaoshan; Lu Ruqian; Ouyang Dantong; Sun Jigui; Li Sanjiang; Shi Chenggen; Yao Tianshun; Lu Ruzhan; Han Zhangang; Wang Jiaqi; Cao Cungen
(IEEE Computer Soc, 2008)
This article consists of nine short essays discussing research pursued by AI researchers in China and their perspectives on research in several AI subareas. The article first introduces the mechanization of mathematics, ...