數(shù)學機械化研究中心成立

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