Gang Chen
Gender:Male
Education Level:Postgraduate (Doctoral)
Alma Mater:巴黎第七大学
Paper Publications
-
wangyifei,wangyifei,Gang Chen.A Formal Proof of Two Properties of Laplace Transform:Proc. IEEE Int. Conf. Saf. Prod. Informatiz., IICSPI,2019
-
马振威,陈钢.基于Coq记录的矩阵形式化方法:计算机科学,2019,46(7)
-
范永乾,陈钢,崔敏.基于COQ的有限域GF(2n)的形式化研究.中国:计算机科学,2019,47(12):311-318
-
麻莹莹,陈钢.基于Coq的分块矩阵运算的形式化.中国:软件学报,2021
-
Gang Chen,Guowu Yang,Xiaoyu Song,Ting Wang,Xiaoqiao Mu,Yongqian Fan.A Formal Proof of PG Recurrence Equations of Parallel Adders.[J]:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2020
|