單項選擇題我國著名數(shù)學(xué)家（）等人利用代數(shù)方法設(shè)計了一整套的機械化程序，在1980年前后實現(xiàn)了初等幾何和微分幾何中的一些主要定理的機器證明，國際上稱他的方法為“吳方法”，使得中國學(xué)者在數(shù)學(xué)機械化領(lǐng)域處于領(lǐng)先地位，為計算數(shù)學(xué)和計算機技術(shù)的發(fā)展開辟了廣闊的前景。

A.吳文俊
B.陳景潤
C.王梓坤
D.侯振挺


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題抽象代數(shù)這一數(shù)學(xué)分支的奠基者是（）

A.諾特
B.伽羅瓦
C.希爾伯特
D.高斯

2.單項選擇題泛函分析之父是（）

A.希爾伯特
B.沃爾泰拉
C.馮諾伊曼
D.巴拿赫

3.單項選擇題高于四次的代數(shù)方程不可根式解的問題由（）證明出來的。

A.阿貝爾
B.伽羅瓦
C.哈密頓
D.格拉斯曼

4.單項選擇題微分方程近似解法的創(chuàng)始人是（）

A.歐拉
B.雅各布伯努利
C.拉普拉斯
D.柯西