首页 > 期刊 > 中华儿女 > 吴文俊“数学机械化之父”的圆满句号 【正文】
摘要：国际机器证明研究领域的权威人物J．S．穆尔这样评价：“在吴文俊之前，机械化的几何定理证明处于黑暗时期．而吴的工作给整个领域带来光明。”
关键词：数学机械化 吴文俊 句号 机器证明 定理证明
单位：《中华儿女》编辑部
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
相关期刊
部级期刊
￥640.00
购物车(0)