单项选择题
我国著名数学家（）等人利用代数方法设计了一整套的机械化程序，在1980年前后实现了初等几何和微分几何中的一些主要定理的机器证明，国际上称他的方法为“吴方法”，使得中国学者在数学机械化领域处于领先地位，为计算数学和计算机技术的发展开辟了广阔的前景。
A.吴文俊B.陈景润C.王梓坤D.侯振挺
单项选择题 抽象代数这一数学分支的奠基者是（）
单项选择题 泛函分析之父是（）
单项选择题 高于四次的代数方程不可根式解的问题由（）证明出来的。
