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

解析幾何的建立者是（）

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

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

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

圓錐曲線理論的創(chuàng)始人是（）

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

非歐幾何的誕生，引起了數學概念、數學思想和數學方法等方面革命性的變化。19世紀中期之前，下列為非歐幾何的產生作出突出貢獻的有（）

抽象代數這一數學分支的奠基者是（）

發(fā)明“零”的數學家是（）