下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。（）

A.笛卡尔和费马等
B.德沙格和帕斯卡等
C.庞斯列和斯坦纳等
D.施陶特和默比乌斯等

A.全书共分13卷，包括有15条公理、5条公设
B.全书共分15卷，包括有5条公理、5条公设
C.全书共分13卷，包括有5条公理、5条公设
D.全书共分15卷，包括有15条公理、5条公设

A.《缉古算经》
B.《孙子算经》
C.《算数书》
D.《周髀算经》