基本信息
王定康  男  博导  中国科学院数学与系统科学研究院
电子邮件: dwang@mmrc.iss.ac.cn
通信地址: 北京市海淀区中关村东路55号
邮政编码: 100190

研究领域

几何定理自动证明与发现,参数Groebner基, 签名Groebner基算法,矩阵分解(其中元素是多变元多项式)

招生信息

   
招生专业
070104-应用数学
070101-基础数学
招生方向
机器证明,计算机代数
符号计算

教育背景

1990-09--1993-07   中国科学院系统科学研究所   博士
1987-09--1990-07   中国科学院系统科学研究所   硕士
1983-09--1987-07   北京大学   学士
学历
-- 研究生
学位
-- 博士

工作经历


工作简历
2012-03~现在, 中国科学院数学与系统科学研究院, 研究员
1997-03~2012-03,中国科学院系统科学研究所, 副研究员
1993-07~1997-02,中国科学院系统科学研究所, 助理研究员
社会兼职
   

教授课程

代数计算理论
Groebner基的算法

专利与奖励

   
奖励信息
   
专利成果
( 1 ) 基于二次B样条曲线对G01代码的拟合及插补方法, 发明, 2009, 第 4 作者, 专利号: 200910082732.9

出版信息

2018

1.        Ting Li, Yao Sun, Maodong Liao, Dingkang Wang: Preimage Attacks on the Round-reduced KECCAK with Cross-linear Structures, Accepted by FSE 2018

2017

2.        Xiaodong Ma, Yao Sun, Dingkang Wang, Yushan Xue : On Checking Linear Dependence of Parametric Vectors, ICIC 2017: Intelligent Computing Theories and Application, LNCS 10362(2017) 188-196 

3.        Deepak Kapur, Yao Sun, Dingkang Wang, Jie Zhou: The Generalized Rabinowitsch Trick, ACA 2015, in PROMS 198 (2017) 219-229. 

4.        Jie Zhou,Dingkang Wang, Yao Sun: Automated Reducible Geometric Theorem Proving and Discovery by Groebner Basis Method, Journal of Autotamed Reasoning, (2017) 59:331-344. 

5.        Dong Lu, Xiaodong Ma,Dingkang Wang: A New Algorithm for General Factorizations of Multivariate Polynomial Matrices, in Proceedings of ISSAC 2017, 277-284. July 25-28, Kaiserslautern Germany . 

2016

6.        Jie Zhou,Dingkang Wang: Solving the Perspective-Three-Point Problem Using Comprehensive Groebner Systems, Journal of Systems Science and Complexity, 2016,29(5): 1446-1471. 

7.        Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin: An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications. Vol. 41, No. 4, (2016), 174 - 192. 

8.        Yao Sun, Zhenyu Huang, Dongdai Lin, Dingkang Wang: On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Groebner Basis Algorithms Using Linear Algebra, Journal of Systems Science and Complexity. Vol. 29 No. 3 (2016) 789-804 

 

发表著作
(1) 方程求解与机器证明-基于MMP的问题求解, 科学出版社, 2006-10, 第 2 作者

科研活动

   
科研项目
( 1 ) 数学机械化方法及其在数字化设计制造中的应用, 参与, 国家级, 2011-01--2015-12
( 2 ) 数学机械化及其在信息技术中应用, 参与, 国家级, 2012-01--2014-12
( 3 ) 基于签名的Groebner基算法及其应用, 主持, 国家级, 2014-01--2017-12
参与会议
   

合作情况

   
项目协作单位
   

指导学生

已指导学生

王继斌  硕士研究生  070104-应用数学  

樊炜  博士研究生  070104-应用数学  

张文哲  硕士研究生  070104-应用数学  

马晓栋  博士研究生  070104-应用数学  

周洁  博士研究生  070104-应用数学  

现指导学生

白剑  博士研究生  070104-应用数学  

王贺松  硕士研究生  070104-应用数学  

鲁东  博士研究生  070104-应用数学  

杨润河   硕士研究生  070104-应用数学  

肖方慧  博士研究生  070104-应用数学