我国著名数学家（）等人利用代数方法设计了一整套的机械化程序，在1980年前后实现了初等几何和微分几何中的一些主要定理的机器证明，国际上称他的方法为“吴方法”，使得中国学者在数学机械化领域处于领先地位，为计算数学和计算机技术的发展开辟了广阔的前景。

近代数学的第一个里程碑是（）的发明。

（）的产生标志了中国传统数学“半符号代数”的产生。

（）将三角形从天文学奴仆的地位解放出来，使三角学脱离了天文学成为一个独立的数学分支。

阿拉伯的数学成就主要体现在什么领域？（）

泛函分析之父是（）

近代数学的开端是解析几何的诞生，被称为“解析几何之父”的是（）

第一个给出微积分基本定理严格证明的是（）

将微积分学基本概念进行严密论述，成为严格微积分学的奠基者的是（）

最早的符号代数著作是（）