確立了數(shù)學(xué)演繹范式的著作是（）

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

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

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

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

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

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

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

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

用圓錐曲線解三次方程的阿拉伯數(shù)學(xué)家是（）