我國著名數(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ā)展開辟了廣闊的前景。

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

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

（）的問世標(biāo)志了解析幾何的誕生，進(jìn)而標(biāo)志了近代數(shù)學(xué)開始。

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

高于四次的代數(shù)方程不可根式解的問題由（）證明出來的。

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

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

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

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