单项选择题我国著名数学家（）等人利用代数方法设计了一整套的机械化程序，在1980年前后实现了初等几何和微分几何中的一些主要定理的机器证明，国际上称他的方法为“吴方法”，使得中国学者在数学机械化领域处于领先地位，为计算数学和计算机技术的发展开辟了广阔的前景。
A.吴文俊
B.陈景润
C.王梓坤
D.侯振挺
您可能感兴趣的试卷
你可能感兴趣的试题
1.单项选择题抽象代数这一数学分支的奠基者是（）
A.诺特
B.伽罗瓦
C.希尔伯特
D.高斯
2.单项选择题泛函分析之父是（）
A.希尔伯特
B.沃尔泰拉
C.冯诺伊曼
D.巴拿赫
3.单项选择题高于四次的代数方程不可根式解的问题由（）证明出来的。
A.阿贝尔
B.伽罗瓦
C.哈密顿
D.格拉斯曼
4.单项选择题微分方程近似解法的创始人是（）
A.欧拉
B.雅各布伯努利
C.拉普拉斯
D.柯西
5.单项选择题将微积分学基本概念进行严密论述，成为严格微积分学的奠基者的是（）
A.柯西
B.魏尔斯特拉斯
C.戴德金
D.康托尔
6.单项选择题第一个给出微积分基本定理严格证明的是（）
A.波尔查诺
B.柯西
C.高斯
D.欧拉
7.单项选择题历史上最大的符号学者之一，他所创设的微积分符号远远优于牛顿的符号，这对微积分的发展有极大的影响，他是（）
A.莱布尼茨
B.柯西
C.魏尔斯特拉斯
D.高斯
8.单项选择题近代数学的开端是解析几何的诞生，被称为“解析几何之父”的是（）
A.牛顿
B.莱布尼茨
C.笛卡尔
D.费马
9.单项选择题（）的问世标志了解析几何的诞生，进而标志了近代数学开始。
A.笛卡尔《几何学》
B.笛卡尔《指导哲学之原则》
C.费马《平面和立体的轨迹引论》
D.牛顿《流数法与无穷级数》
10.单项选择题近代数学的第一个里程碑是（）的发明。
A.微积分
B.解析几何
C.概率论
D.摄影几何
