找考题网-背景图
单项选择题

A.吴文俊B.苏步青C.陈景润D.华罗庚1970年代,有一位中国数学家从研究中国古算受到启发,并结合现代计算机……

1970年代,有一位中国数学家从研究中国古算受到启发,并结合现代计算机技术进行思考,发展了世界领先的“数学定理机器证明”方法。这位数学家是()

A.吴文俊
B.苏步青
C.陈景润
D.华罗庚

热门试题