|
个人信息Personal Information
博士生导师
主要任职：教授
性别：男
毕业院校：巴黎第七大学
学历：研究生(博士)毕业
学位：博士
所在单位：南京航空航天大学计算机科学与技术学院
办公地点：428
联系方式：g a n g c h e n AT q q DOT com
电子邮箱：
扫描关注
- [1]王一飞,王一飞,陈钢.A Formal Proof of Two Properties of Laplace Transform:Proc. IEEE Int. Conf. Saf. Prod. Informatiz., IICSPI,2019
- [2]马振威,陈钢.基于Coq记录的矩阵形式化方法:计算机科学,2019,46(7)
- [3]范永乾,陈钢,崔敏.基于COQ的有限域GF(2n)的形式化研究.中国:计算机科学,2019,47(12):311-318
- [4]麻莹莹,陈钢.基于Coq的分块矩阵运算的形式化.中国:软件学报,2021
- [5]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
| |