来自启智会的报告:形式化工程数学

• 作者: 宋晓宇 施智平 裘宗燕 陈钢
• 来源期刊: 中国计算机学会通讯
• 关键词: 报告 形式化研究 数学理论 形式化描述 数学证明 研究领域 数学杂志 数学推导 数学革命 数学分支 数学定义 基础科学 化工 工程数学 工程科学 数学库 计算机 规模化 验证 权威
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 学会论坛
• 页码范围: 92-93
• 页数: 2页
• 语种: 中文

摘要

形式化数学是有着超过30年历史的基础科学研究领域,其目标是用计算机对数学理论进行形式化描述,对数学证明进行验证,建立包含数学定义、定理和证明的形式化数学库.权威数学杂志Notices of the American Mathematical Society上有文章认为,形式化数学是第三次数学革命.形式化数学的提出带动了许多数学分支的形式化研究工作.工程科学中也存在大量的数学推导和数学理论,但目前只有零星的形式化工作,尚无规模化的形式化工程数学研发工作,也未见到国外在这个方向上的发展规划.