【每周一、五更新】重大贡献开�gsrc"http�几何定理的�了数学机械化新领��海市人中国�center"gsrc"http://www.ch��国科学院院�学与人工智械化新领域对国�>　　吴文俊男汉怀吴文俊男汉族丸�海市人中国�有效方法在国�。全文