单项选择题
下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。（）
A.吴文俊 B.华罗庚 C.陈景润 D.苏步青
单项选择题 射影几何的开创者是（）
单项选择题 关于欧几里得《原本》，以下叙述正确的是（）
单项选择题 世界上最早讨论三次方程组解法的著作是（）
