我國(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)辟了廣闊的前景。

古希臘數(shù)學(xué)的時(shí)代特征以論證幾何為主。

概率論學(xué)科的發(fā)展過(guò)程中重要著作有（）

近代數(shù)學(xué)的第一個(gè)里程碑是（）的發(fā)明。

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

歷史上最大的符號(hào)學(xué)者之一，他所創(chuàng)設(shè)的微積分符號(hào)遠(yuǎn)遠(yuǎn)優(yōu)于牛頓的符號(hào)，這對(duì)微積分的發(fā)展有極大的影響，他是（）

高次方程的數(shù)值解法是宋元數(shù)學(xué)的突出成就之一。

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

第一個(gè)給出微積分基本定理嚴(yán)格證明的是（）

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