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

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

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