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

阿拉伯的數(shù)學(xué)成就主要體現(xiàn)在什么領(lǐng)域？（）

非歐幾何的誕生，引起了數(shù)學(xué)概念、數(shù)學(xué)思想和數(shù)學(xué)方法等方面革命性的變化。19世紀(jì)中期之前，下列為非歐幾何的產(chǎn)生作出突出貢獻(xiàn)的有（）

談?wù)剬εｎD和萊布尼茨創(chuàng)立微積分優(yōu)先權(quán)的理解；并論述兩位創(chuàng)立微積分的相同點(diǎn)及不同點(diǎn)。

（）將三角形從天文學(xué)奴仆的地位解放出來，使三角學(xué)脫離了天文學(xué)成為一個獨(dú)立的數(shù)學(xué)分支。

泛函分析之父是（）

確立了數(shù)學(xué)演繹范式的著作是（）

微分方程近似解法的創(chuàng)始人是（）

（）的產(chǎn)生標(biāo)志了中國傳統(tǒng)數(shù)學(xué)“半符號代數(shù)”的產(chǎn)生。

解析幾何的建立者是（）