海量资源,尽在掌握
 1979年,吴文俊偕夫人陈丕和,与著名数学家陈景润赴美访问,这是吴文俊第一次访问美国。访问归来,吴文俊的《出国访问报告》总结了其在美国期间的活动成果及美国数学的发展情况。尤其是对数学机械化的发展,吴文俊进行了深刻和 (共 801 字) [阅读本文] >>