王定康 - 中国科学院大学

个人简介

招生专业 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 ）数学机械化方法及其在数字化设计制造中的应用, 参与, 国家级, 2011-01--2015-12 （ 2 ）数学机械化及其在信息技术中应用, 参与, 国家级, 2012-01--2014-12 （ 3 ）基于签名的Groebner基算法及其应用, 主持, 国家级, 2014-01--2017-12

研究领域

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

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（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 作者