几何定理自动证明与发现，参数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） Solving Multivariate Polynomial Matrix Diophantine Equations with Groebner Basis Method, Journal of Systems Science and Complexity, 2022, 第 3 作者
（2） Algorithms for Computing Greatest Common Divisors of Parametric Multivariate Polynomials, Journal of Symbolic Computation, 2021, 第 5 作者
（3） On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices, On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices, Multidimensional Systems and Signal Processing, 2021, 第 2 作者
（4） An Improvement of the Rational Representation for High-Dimensional Systems, Journal of Systems Science and Complexity, 2020, 第 4 作者
（5） On the Construction of Involutory MDS Matrices over F_{2^m}, Journal of Systems Sciences and Complexity, 2020, 第 3 作者
（6） Factorizations for a class of multivariate polynomial matrices, Multidimensional Systems and Signal Processing, 2020, 第 2 作者
（7） Further Results on the Factorization and Equivalence for Multivariate Polynomial Matrices, Proceedings of ISSAC 2020, 2020, 第 2 作者
（8） An Extended GCD Algorithm for Parametric Univariate Polynomials and Application to Parametric Smith Normal Form, Proceedings of ISSAC 2020, 2020, 第 1 作者
（9） Hilbert problem 15 and Ritt-Wu method (II), Journal of Systems Science and Complexity, 2020, 第 2 作者
（10） A Survey on Algorithms for Computing Comprehensive Groebner Systems and Comprehensive Groebner Bases, Journal of Systems Science and Complexity, 2019, 第 3 作者
（11） Speeding Up the GVW Algorithm via a Substituting Method, Journal of Systems Science and Complexity, 2019, 第 4 作者
（12） Applying Horner's Rule to Optimize Lightweight MDS Matrices, International Journal of Digital Crime and Forensics, 2019, 第 4 作者
（13） A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials, Journal of Systems Science and Complexity, 2018, 第 3 作者
（14） The Lightest 4 × 4 MDS Matrices over GL(4,F2), Science China Series F, 2018, 第 4 作者
（15） An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD, ISSAC, 2018, 第 5 作者
（16） Extending the GVW Algorithm to Local Ring, ISSAC, 2018, 第 2 作者
（17） Preimage Attacks on the Round-reduced KECCAK with Cross-linear Structures, IACR Transactions on Symmetric Cryptology, 2017, 第 3 作者
（18） The Generalized Rabinowitsch Trick, PROMS 198, 2017, 第 3 作者
（19） On Checking Linear Dependence of Parametric Vectors, LNCS 10362, 2017, 第 3 作者
（20） A New Algorithm for General Factorizations of Multivariate Polynomial Matrices, Proceedings of ISSAC 2017, 2017, 第 3 作者
（21） Automated Reducible Geometric Theorem Proving and Discovery by Groebner Basis Method, Journal of Autotamed Reasoning, 2017, 第 2 作者
（22） 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 作者
（23） An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications, 2016, 第 3 作者
（24） Solving the Perspective-Three-Point Problem Using Comprehensive Groebner Systems, Journal of Systems Science and Complexity, 2016, 第 2 作者
（25） A Method to Determine if Two Parametric Polynomial Systems Are Equal, LNCS 8592, 2014, 通讯作者
（26）  , An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field, Science in China, Series A, 2013, 通讯作者
（27） A New Proof for the Correctness of the F5 Algorithm, Science in China, Series A , 2013, 通讯作者
（28） An Efficient Method for Computing Comprehensive Groebner Bases., Journal of Symbolic Computation, 2013, 第 3 作者
（29） An Efficient Algorithm for Computing a Comprehensive Groebner System of a Parametric Polynomial Systems, Journal of Symbolic Computation , 2013, 第 3 作者
（30） A Signature-Based Algorithm for Computing Groebner Bases in Solvable Polynomial Algebras, Proceedings of ISSAC 2012, 2012, 第 2 作者
（31） 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-应用数学  

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

现指导学生

丁修权  硕士研究生  070104-应用数学  

郑晓鹏  博士研究生  070104-应用数学