几何定理自动证明与发现，参数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） Signature-based standard basis algorithm under the framework of GVW algorithm, JOURNAL OF SYMBOLIC COMPUTATION, 2025, 第 2 作者
（2） A new framework for fast homomorphic matrix multiplication, DESIGNS CODES AND CRYPTOGRAPHY, 2025, 第 3 作者
（3） Completing Parametric Unimodular Rows to Unimodular Matrices, 50th International Symposium on Symbolic and Algebraic Computation, 2025, 第 2 作者
（4） On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices, On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2024, 第 2 作者
（5） An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials, Proceedings of ISSAC 2024, 2024, 第 2 作者
（6） New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 2 作者
（7） New Results on the Equivalence of Bivariate Polynomial Matrices, New Results on the Equivalence of Bivariate Polynomial Matrices, JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY, 2023, 第 3 作者
（8） On General Factorization Problems of n-D Polynomial Matrices, IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2023, 第 2 作者
（9） Equivalence and reduction of bivariate polynomial matrices to their Smith forms, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 2 作者
（10） An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 1 作者  通讯作者
（11） A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations, The 47th International Symposium on Symbolic and Algebraic Computation, 2022, 第 2 作者
（12） Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2022, 第 3 作者
（13） Rational Univariate Representation of Zero-Dimensional Ideals with Parameters, The 47th International Symposium on Symbolic and Algebraic Computation, 2022, 第 1 作者
（14） An Improvement of the Rational Representation for High-Dimensional Systems, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 第 4 作者
（15） On factor left prime factorization problems for multivariate polynomial matrices, MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2021, 第 2 作者
（16） Algorithms for computing greatest common divisors of parametric multivariate polynomials, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 5 作者
（17） Factorizations for a class of multivariate polynomial matrices, MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2020, 第 2 作者  通讯作者
（18） Hilbert Problem 15 and Ritt-Wu Method (II), JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 第 2 作者
（19） An Extended GCD Algorithm for Parametric Univariate Polynomials and Application to Parametric Smith Normal Form, Proceedings of ISSAC 2020, 2020, 第 1 作者
（20） On the Construction of Involutory MDS Matrices over F2^m, On the Construction of Involutory MDS Matrices over F2^m, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 第 3 作者
（21） Speeding Up the GVW Algorithm via a Substituting Method, JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY, 2019, 第 4 作者
（22） A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 第 3 作者
（23） Applying Horner's Rule to Optimize Lightweight MDS Matrices, INTERNATIONAL JOURNAL OF DIGITAL CRIME AND FORENSICS (IJDCF), 2019, 第 4 作者
（24） Speeding Up the GVW Algorithm via a Substituting Method, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 第 4 作者
（25） An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD, ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, 第 5 作者
（26） Extending the GVW Algorithm to Local Ring, ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, 第 2 作者
（27） The lightest 4 x 4 MDS matrices over GL(4, F-2), SCIENCE CHINA-INFORMATION SCIENCES, 2018, 第 4 作者
（28） A new algorithm for computing the extended hensel construction of multivariate polynomials, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2018, 第 3 作者
（29） A New Algorithm for General Factorizations of Multivariate Polynomial Matrices, PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, 第 3 作者
（30） Preimage Attacks on the Round-reduced Keccak with Cross-linear Structures, IACR TRANSACTIONS ON SYMMETRIC CRYPTOLOGY, 2017, 第 4 作者
（31） Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method, JOURNAL OF AUTOMATED REASONING, 2017, 第 2 作者
（32） On Checking Linear Dependence of Parametric Vectors, INTELLIGENT COMPUTING THEORIES AND APPLICATION, ICIC 2017, PT II, 2017, 第 3 作者
（33） The Generalized Rabinowitsch Trick, APPLICATIONS OF COMPUTER ALGEBRA, 2017, 第 3 作者
（34） On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 第 4 作者
（35） Solving the Perspective-Three-Point Problem Using Comprehensive Grobner Systems, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 第 2 作者
（36） An improvement over the GVW algorithm for inhomogeneous polynomial systems, FINITE FIELDS AND THEIR APPLICATIONS, 2016, 第 3 作者
（37） A Method to Determine if Two Parametric Polynomial Systems Are Equal, Mathematical software - ICMS 2014 :, 2014, 第 2 作者
（38） An efficient method for computing comprehensive Grobner bases, JOURNAL OF SYMBOLIC COMPUTATION, 2013, 第 3 作者
（39） An efficient algorithm for factoring polynomials over algebraic extension field, SCIENCE CHINA Mathematics, 2013, 第 2 作者  通讯作者
（40） An efficient algorithm for computing a comprehensive Grobner system of a parametric polynomial system, JOURNAL OF SYMBOLIC COMPUTATION, 2013, 第 3 作者
（41） A new proof for the correctness of the F5 algorithm, SCIENCE CHINA Mathematics, 2013, 第 2 作者  通讯作者
（42） A Signature-Based Algorithm for Computing Groebner Bases in Solvable Polynomial Algebras, Proceedings of ISSAC 2012, 2012, 第 1 作者
（43） Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis, SCIENCE CHINA-MATHEMATICS, 2012, 第 3 作者
（44） On computing Grobner bases in rings of differential operators, SCIENCE CHINA-MATHEMATICS, 2011, 第 3 作者  通讯作者
（45） Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines, Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines, SCIENCE CHINA-INFORMATION SCIENCES, 2011, 第 4 作者
（46） The F5 algorithm in Buchberger's style, JOURNALOFSYSTEMSSCIENCECOMPLEXITY, 2011, 第 2 作者
（47） 布尔环上的分支Groebner基算法, BRANCH GROEBNER BASES ALGORITHM OVER BOOLEAN RING, 系统科学与数学, 2009, 第 2 作者
（48） An algorithm for decomposing a polynomial system into normal ascending sets, SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 第 1 作者  通讯作者
（49） 分区参数Groener基的计算, 系统科学与数学, 2005, 第 3 作者

（1） 方程求解与机器证明－基于MMP的问题求解, 科学出版社, 2006-10, 第 2 作者

已指导学生

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

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

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

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

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

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

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

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

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

魏婧婧  硕士研究生  070104-应用数学  

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

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

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

现指导学生

范励赓  博士研究生  070104-应用数学  

崔思哲  硕士研究生  070104-应用数学