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

阿拉伯的數(shù)學(xué)成就主要體現(xiàn)在什么領(lǐng)域？（）

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

解析幾何的建立者是（）

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

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

古希臘數(shù)學(xué)的時(shí)代特征以論證幾何為主。

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

近代數(shù)學(xué)的開端是解析幾何的誕生，被稱為“解析幾何之父”的是（）

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