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

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

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

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

解析幾何的建立者是（）

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

簡述隋唐中國數(shù)學(xué)的兩件大事。

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

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

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