Page 335 - 《软件学报》2021年第6期

麻莹莹 等:基于 Coq 的分块矩阵运算的形式化 1909

[13] 康西楠,施智平,叶世伟,关永.矩阵变换理论在 HOL4 中的形式化.计算机仿真,2014,31(3):289−294. [doi: 10.1080/19443994.
2014.944221]
[14] 杨秀梅,关永,施智平,等.函数矩阵及其微积分的高阶逻辑形式化.计算机科学,2016,43(11):24−29. [doi: 10.11896/j.issn.1002-
137X.2016.11.005]

麻莹莹(1997－),女,硕士,CCF 学生会员, 陈钢 (1958－ ), 男 ,博士 ,教授 , 博 士生导
主要研究领域为形式化工程数学,COQ 定 师,CCF 杰出会员,主要研究领域为形式化
理证明,函数式语言,形式化方法. 工程数学,COQ 定理证明,函数式语言,类
型系统,形式化方法,控制系统.

马振威(1992－),男,硕士,主要研究领域为
形式化方法.