基本信息
王定康男博导中国科学院数学与系统科学研究院
电子邮件： 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 作者, 专利号: 2.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-应用数学