070104-应用数学

机器证明
符号计算
量子计算

   

1998-06~2013-06,中科院数学院, 研究员

   

（1） 中国科学院数学与系统科学研究院关肇直冠名研究员, 特等奖, 研究所（学校）, 2017
（2） Hestenes最佳论文奖, 其他, 2015

（ 1 ） 一种基于多项式约化的初等数列问题自动求解技术, 2017, 第 2 作者, 专利号: 2017104562482

   

（1） Multilinear spectral multipliers on Lie groups of polynomial growth, Journal of Geometric Analysis, 2021, 第 2 作者
（2） Basis-free solution to general linear quaternionic equation. Linear Multilinear Algebra, Linear Multilinear Algebra, 68(3), 435--457, 2020, 第 2 作者
（3） Quantum QR decomposition in the computational basis, Quantum Information Processing, (2020) 19: 271, 2020, 第 2 作者
（4） 共形几何代数中的分阶幂零单项式的几何解释, 中国科学, 2020, 第 1 作者
（5） Quantum Algorithm Design: Techniques and Applications, J. Syst. Sci. Complex., 2019, 第 3 作者
（6） LI Hongbo. Automated Theorem Proving Practice with Null Geometric Algebra, J. Syst. Sci. Complex., 2019, 第 1 作者
（7） Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations, Proc. ISSAC 2018, 2018, 第 2 作者
（8） Coordinate-free theorem proving in incidence geometry, Handbook of Geometric Constraint Systems Principles, 2018, 第 2 作者
（9） From molecular distance geometry to conformal geoemtric algebra, Handbook of Geometric Constraint Systems Principles, 2018, 第 2 作者
（10） Minimal time corner transition algorithm with confined feedrate and axial acceleration for nc machining along linear tool path, Int. J. Manuf. Technol., 2017, 第 3 作者
（11） Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension, Proc. ISSAC 2017, 2017, 第 1 作者
（12） Automated Geometric Reasoning with Geometric Algebra: Theory and Practice, Proc. ISSAC 2017, 2017, 第 1 作者
（13） Symbolic Geometric Reasoning with Advanced Invariant Algebras, MACIS 2015, LNCS 9582, 2016, 第 1 作者
（14） Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry, Mathematics in Computer Science, 2016, 第 2 作者
（15） Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming, J Syst Sci Complex, 2015, 第 4 作者
（16） Visual Tracking via Sparse and Local Linear Coding, IEEE T. Image Processing, 2015, 第 4 作者
（17） Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter., Math. Comput. Sci., 2012, 第 1 作者
（18） Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations., Math. Comput. Sci., 2012, 第 1 作者
（19） A greedy algorithm for feed-rate planning of CNC machines along curved tool paths with confined jerk for each axis., Robotics and Computer Integrated Manufacturing, 2012, 第 3 作者

   

（ 1 ） 杰青, 主持, 国家级, 2010-01--2013-12
（ 2 ） 数学机械化方法及其在信息技术中的应用, 参与, 国家级, 2009-01--2014-12
（ 3 ） 数学机械化方法及其在数字化设计制造中的应用, 主持, 国家级, 2010-09--2015-08
（ 4 ） 数学与先进制造交叉研究, 主持, 部委级, 2011-11--2018-12
（ 5 ） 几何定理机器证明的代数方法的等价性与完全性, 主持, 国家级, 2017-01--2020-12
（ 6 ） 数学定理的机器证明和数学证明的验证补充, 主持, 部委级, 2017-05--2021-04
（ 7 ） 量子基础算法及其在密码分析中的应用, 主持, 国家级, 2017-01--2017-12