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

A.吳文俊
B.陳景潤(rùn)
C.王梓坤
D.侯振挺


您可能感興趣的試卷

你可能感興趣的試題

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

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

2.單項(xiàng)選擇題泛函分析之父是()

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

3.單項(xiàng)選擇題高于四次的代數(shù)方程不可根式解的問(wèn)題由()證明出來(lái)的。

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

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

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