Personal Homepage

Personal Information

MORE+

Main positions:教授
Degree:博士
School/Department:College of Computer Science and Technology

Gang Chen

+

Gender:Male

Education Level:Postgraduate (Doctoral)

Alma Mater:巴黎第七大学

Paper Publications

Current position: Home / Scientific Research / Paper Publications
基于Coq记录的矩阵形式化方法
Date of Publication:2019-07-07 Hits:

Journal:计算机科学
Indexed by:Journal paper
Volume:46
Issue:7
Translation or Not:no
Date of Publication:2019-07-07
Correspondence Author:陈钢
Date of Publication:2019-07-07

Pre One:A Formal Proof of Two Properties of Laplace Transform

Next One:基于COQ的有限域GF(2n)的形式化研究

  • Click:
  • MOBILE Version

The Last Update Time:..

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)