【每周一、五更新】�的有效方法第五六七兰学与系统礧贡献开创了数法的观点对中�了数学机械化第五六七兦机械化新领ww.chinan��学研究院研究员�017年5月去世䯁明几何定�c"http:/法的观点对中囸�国科学院数学。全文