关于机器证明

• 作者: 别荣芳 史璟 王世强
• 来源期刊: 前沿科学
• 学科: 数学
• 关键词: 机器证明 四色定理 模型论
• 年，卷（期）: 2011,（1）
• 页码范围: 76-77
• 分类号: O1
• 字数: 778字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-8128.2011.01.008

摘要

本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史璟	中央财经大学现代逻辑研究所	25	19	3.0	3.0
2	王世强	北京师范大学数学学院	50	37	3.0	4.0
3	别荣芳	北京师范大学信息科学学院	20	179	7.0	13.0