Computer Science
Matrix Formalization Based on Coq Record
MA Zhen-wei,CHEN Gang
Computer Science . 2019, (7): 139 -145 .  DOI: 10.11896/j.issn.1002-137X.2019.07.022

渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.