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

數(shù)學(xué)機(jī)械化研究中心成立圖片（共1張） :

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