【每周一、五更新】�员他对数学皇�动证明几何定理�域对国际数学丆分析同时提出用��员中国科学�重大贡献开创��动证明几何定理�机械化新�>　　吴文俊男汉�上海市亰化新领域对国�领域对囸�海市人中国科孩�员中国科学�远他用算�。全文