基本信息
王定康  男  博导  中国科学院数学与系统科学研究院
电子邮件: 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

出版信息

  

发表论文
(1) Applying Horner's Rule to Optimize Lightweight MDS Matrices, International Journal of Digital Crime and Forensics, 2019-11, 第 4 作者
(2) A Survey on Algorithms for Computing Comprehensive Groebner Systems and Comprehensive Groebner Bases, Journal of Systems Science and Complexity, 2019-01, 第 3 作者
(3) Speeding Up the GVW Algorithm via a Substituting Method, Journal of Systems Science and Complexity, 2019-01, 第 4 作者
(4) A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials, Journal of Systems Science and Complexity, 2018-06, 第 3 作者
(5) The Lightest 4 × 4 MDS Matrices over GL(4,F2), Science China Series F, 2018, 第 4 作者
(6) An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD, ISSAC, 2018, 第 5 作者
(7) Extending the GVW Algorithm to Local Ring, ISSAC, 2018, 第 2 作者
(8) Preimage Attacks on the Round-reduced KECCAK with Cross-linear Structures, IACR Transactions on Symmetric Cryptology, 2017, 第 3 作者
(9) The Generalized Rabinowitsch Trick, PROMS 198, 2017, 第 3 作者
(10) On Checking Linear Dependence of Parametric Vectors, LNCS 10362, 2017, 第 3 作者
(11) A New Algorithm for General Factorizations of Multivariate Polynomial Matrices, Proceedings of ISSAC 2017, 2017, 第 3 作者
(12) Automated Reducible Geometric Theorem Proving and Discovery by Groebner Basis Method, Journal of Autotamed Reasoning, 2017, 第 2 作者
(13) On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Groebner Basis Algorithms Using Linear Algebra, Journal of Systems Science and Complexity, 2016, 第 4 作者
(14) An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications, 2016, 第 3 作者
(15) Solving the Perspective-Three-Point Problem Using Comprehensive Groebner Systems, Journal of Systems Science and Complexity, 2016, 第 2 作者
(16) A Method to Determine if Two Parametric Polynomial Systems Are Equal, LNCS 8592, 2014, 通讯作者
(17)  , An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field, Science in China, Series A, 2013, 通讯作者
(18) A New Proof for the Correctness of the F5 Algorithm, Science in China, Series A , 2013, 通讯作者
(19) An Efficient Method for Computing Comprehensive Groebner Bases., Journal of Symbolic Computation, 2013, 第 3 作者
(20) An Efficient Algorithm for Computing a Comprehensive Groebner System of a Parametric Polynomial Systems, Journal of Symbolic Computation , 2013, 第 3 作者
(21) A Signature-Based Algorithm for Computing Groebner Bases in Solvable Polynomial Algebras, Proceedings of ISSAC 2012, 2012, 第 2 作者
(22) Computing Polynomial Univariate Representations of Zero-dimensional Ideals by Groebner Basis, Science in China, Series A, 2012, 通讯作者
发表著作
(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-应用数学