第一個給出微積分基本定理嚴格證明的是（）

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

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

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

劉徽用割圓術得到的圓周率稱為徽率，化成分數(shù)就是（）

最早的符號代數(shù)著作是（）

數(shù)學符號系統(tǒng)引入數(shù)學，并將其稱為“符號代數(shù)之父”的是（）

泛函分析之父是（）

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

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