單項選擇題我國著名數學家()等人利用代數方法設計了一整套的機械化程序,在1980年前后實現(xiàn)了初等幾何和微分幾何中的一些主要定理的機器證明,國際上稱他的方法為“吳方法”,使得中國學者在數學機械化領域處于領先地位,為計算數學和計算機技術的發(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.康托爾
最新試題
()的產生標志了中國傳統(tǒng)數學“半符號代數”的產生。
題型:單項選擇題
第一個給出微積分基本定理嚴格證明的是()
題型:單項選擇題
非歐幾何的誕生,引起了數學概念、數學思想和數學方法等方面革命性的變化。19世紀中期之前,下列為非歐幾何的產生作出突出貢獻的有()
題型:多項選擇題
簡述笛卡爾與費馬建立解析幾何的不同點。
題型:問答題
古希臘數學的時代特征以論證幾何為主。
題型:判斷題
歷史上最大的符號學者之一,他所創(chuàng)設的微積分符號遠遠優(yōu)于牛頓的符號,這對微積分的發(fā)展有極大的影響,他是()
題型:單項選擇題
確立了數學演繹范式的著作是()
題型:單項選擇題
高次方程的數值解法是宋元數學的突出成就之一。
題型:判斷題
高于四次的代數方程不可根式解的問題由()證明出來的。
題型:單項選擇題
數學符號系統(tǒng)引入數學,并將其稱為“符號代數之父”的是()
題型:單項選擇題