编后期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

编后

摘要：	我国著名数学家吴文俊,近年来致力于数学机械化的研究,成绩显著,深受国内外数学界重视.本期所载《几何定理的机器证明》一文,是他于今年9月初在双微北京讨论会上所作报告《初等几何和微分几何定理的机器证明》的前半部分,文中详细阐述利用电子计算机证明几何定理并发现新定理的思想、方法、步骤和效果,谅为读者所欢迎.
本文献已被 CNKI 等数据库收录！