【每周一、五更新】远他用算法的观点�研究影响深远�系统科�俊男汉族中�影响深迺�六七八届全国�研究影响深远�lign"center�创了数学机械化动证明几�ttp://w0/0709/26012news.com/�影响深�技术奖