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

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

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

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

解析幾何的建立者是（）

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

泛函分析之父是（）

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

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

抽象代數(shù)這一數(shù)學(xué)分支的奠基者是（）