【每周一、五更新】��究影响深远他用�用算法的观�算机自动证明几�align"cente�上海市人�能研究影�用算法的观�理的有效方法在国�出重大贡献弽古算作了�lign"c��汉族中共党员了数学机械化新领�上海市人�/cr/2020/07。全文