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

從歷史發(fā)展的角度看，概率論的發(fā)生和發(fā)展過程大致分為哪些階段？

發(fā)明“零”的數(shù)學(xué)家是（）

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

泛函分析之父是（）

用圓錐曲線解三次方程的阿拉伯?dāng)?shù)學(xué)家是（）

將微積分學(xué)基本概念進(jìn)行嚴(yán)密論述，成為嚴(yán)格微積分學(xué)的奠基者的是（）

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

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

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