基于Coq记录的矩阵形式化方法

基于Coq记录的矩阵形式化方法

马振威,陈钢

Matrix Formalization Based on Coq Record

MA Zhen-wei,CHEN Gang

计算机科学 . 2019, (7): 139 -145 . DOI: 10.11896/j.issn.1002-137X.2019.07.022