形式化数学和证明工程

• 作者: 陈钢
• 来源期刊: 中国计算机学会通讯
• 关键词: 形式化数学 人工智能 证明工程 信息安全
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 专栏
• 页码范围: 40-44
• 页数: 5页
• 语种: 中文

摘要

最近几十年,基础性科学研究越来越受到世界范围的高度重视,形式化数学(formalized mathematics)和证明工程(proof engineering)就是其中的一个重要研究方向. 形式化数学是一个有着超过30年历史的基础科学研究领域,其总体目标是用计算机对数学理论进行形式化描述,对数学证明进行验证和检查,并且建立一个包含数学定义、定理和证明的形式化数学库.权威数学杂志Noticesofthe American Mathematical Society上有文章认为,形式化数学是第三次数学革命[1].

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈钢		3	12	1.0	3.0