Gang Chen
+
Gender:Male
Education Level:Postgraduate (Doctoral)
Alma Mater:巴黎第七大学
Scientific Research
Current position:
Home
/
Scientific Research
Research Field
Paper Publications
-
wangyifei. 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. A Formal Proof of PG Recurrence Equations of Parallel Adders.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.2020