个人简介
招生专业
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 作者