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

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

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

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

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

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

從數(shù)學(xué)起源開始，數(shù)學(xué)學(xué)科發(fā)展的直接動(dòng)力是什么？

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

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

對(duì)數(shù)是以下哪位數(shù)學(xué)家最先建立的？（）