数学机械化研究中心成立

1990年年初,北京大学教授、数学家程民德主持编写了一份介绍机器证明研究在国际上的巨大反响的材料,内容包括国际著名学者对吴文俊的研究成果的赞誉;国外学术期刊登载的吴文俊的论文及专集介绍、研究吴文俊的成果;吴方法在国 ......（本文共 743 字 , 1 张图）     [阅读本文]>>