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

单项选择题抽象代数这一数学分支的奠基者是（）

A.诺特
B.伽罗瓦
C.希尔伯特
D.高斯

单项选择题泛函分析之父是（）

A.希尔伯特
B.沃尔泰拉
C.冯诺伊曼
D.巴拿赫

单项选择题高于四次的代数方程不可根式解的问题由（）证明出来的。

A.阿贝尔
B.伽罗瓦
C.哈密顿
D.格拉斯曼

单项选择题微分方程近似解法的创始人是（）

A.欧拉
B.雅各布伯努利
C.拉普拉斯
D.柯西

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

A.柯西
B.魏尔斯特拉斯
C.戴德金
D.康托尔