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

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

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

古希臘數學的時代特征以論證幾何為主。

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

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

用圓錐曲線解三次方程的阿拉伯數學家是（）

阿拉伯的數學成就主要體現在什么領域？（）

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

簡述隋唐中國數學的兩件大事。