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

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


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題抽象代數這一數學分支的奠基者是（）

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

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

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

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

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

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

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

5.單項選擇題將微積分學基本概念進行嚴密論述，成為嚴格微積分學的奠基者的是（）

A.柯西
B.魏爾斯特拉斯
C.戴德金
D.康托爾