數(shù)學(xué)機(jī)械化研究中心成立

1990年年初,北京大學(xué)教授、數(shù)學(xué)家程民德主持編寫(xiě)了一份介紹機(jī)器證明研究在國(guó)際上的巨大反響的材料,內(nèi)容包括國(guó)際著名學(xué)者對(duì)吳文俊的研究成果的贊譽(yù);國(guó)外學(xué)術(shù)期刊登載的吳文俊的論文及專集介紹、研究吳文俊的成果;吳方法在國(guó) ......（本文共 743 字 , 1 張圖）     [閱讀本文] >>