070104-应用数学
0812Z1-信息安全
070101-基础数学

人工智能
隐私保护计算
量子计算

   

2024-05~现在, 中科院数学院, 研究员

   

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

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

   

（1） Multilinear Spectral Multipliers on Besov and Triebel-Lizorkin Spaces on Lie Groups of Polynomial Growth, Journal of Geometric Analsis, 2023, 第 2 作者
（2） Quantum Fully Homomorphic Encryption by Integrating Pauli One-time Pad with Quaternions, Quantum Fully Homomorphic Encryption by Integrating Pauli One-time Pad with Quaternions, Quantum, 2022, 第 2 作者
（3） Quantum Radon Transforms and Their Applications, Quantum Radon Transforms and Their Applications, IEEE Transactions on Quantum Engineering, 2022, 第 2 作者
（4） Multilinear and Multiparameter Spectral Multipliers on Homogeneous Besov and Triebel–Lizorkin Spaces on Lie Groups of Polynomial Growth, Multilinear and Multiparameter Spectral Multipliers on Homogeneous Besov and Triebel���Lizorkin Spaces on Lie Groups of Polynomial Growth, Journal of Geometric Analysis, 2022, 第 2 作者
（5） Affine spinor decomposition in three-dimensional affine geometry, Affine spinor decomposition in three-dimensional affine geometry, Acta Mathematica Scientia, 2022, 第 2 作者
（6） Multilinear Spectral Multipliers on Lie Groups of Polynomial Growth, JOURNAL OF GEOMETRIC ANALYSIS, 2021, 第 2 作者
（7） 共形几何代数中的分阶幂零单项式的几何解释, Geometric interpretations of graded null monomials in conformal geometric algebra, 中国科学:数学, 2021, 第 1 作者
（8） Quantum QR decomposition in the computational basis, QUANTUM INFORMATION PROCESSING, 2020, 第 2 作者
（9） Basis-free solution to general linear quaternionic equation. Linear Multilinear Algebra, Linear Multilinear Algebra, 68(3), 435--457, 2020, 第 1 作者
（10） Quantum Algorithm Design: Techniques and Applications, JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY, 2019, 第 3 作者
（11） LI Hongbo. Automated Theorem Proving Practice with Null Geometric Algebra, J. Syst. Sci. Complex., 2019, 第 1 作者
（12） 基于目标函数的小线段转接点处的运动规划, Motion Planning at the Junctions of Small Line Blocks Based on Objective Functions, 系统科学与数学, 2019, 第 3 作者
（13） Quantum Algorithm Design:Techniques and Applications, Quantum Algorithm Design:Techniques and Applications, 系统科学与复杂性学报(英文版), 2019, 第 3 作者
（14） Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations, ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, 第 11 作者
（15） From molecular distance geometry to conformal geoemtric algebra, HANDBOOK OF GEOMETRIC CONSTRAINT SYSTEMS PRINCIPLES, 2018, 第 1 作者
（16） Coordinate-free theorem proving in incidence geometry, Handbook of Geometric Constraint Systems Principles, 2018, 第 1 作者
（17） Minimum time corner transition algorithm with confined feedrate and axial acceleration for nc machining along linear tool path, INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 第 3 作者
（18） Automated Geometric Reasoning with Geometric Algebra: Theory and Practice, PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, 第 1 作者
（19） Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension, PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, 第 1 作者
（20） Minimal time corner transition algorithm with confined feedrate and axial acceleration for nc machining along linear tool path, Int. J. Manuf. Technol., 2017, 第 1 作者
（21） Symbolic Geometric Reasoning with Advanced Invariant Algebras, MACIS 2015, LNCS 9582, 2016, 第 1 作者
（22） Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry, MATHEMATICS IN COMPUTER SCIENCE,, 2016, 第 2 作者
（23） Visual Tracking via Sparse and Local Linear Coding, IEEE TRANSACTIONS ON IMAGE PROCESSING, 2015, 第 5 作者
（24） Time Optimal Feedrate Generation with Confined Tracking Error Based on Linear Programming, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2015, 第 4 作者
（25） Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2013, 第 1 作者  通讯作者
（26） Geometric error control in the parabola-blending linear interpolator, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2013, 第 1 作者  通讯作者
（27） Space cutter radius compensation method for free form surface end milling, INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2013, 第 3 作者
（28） INTRODUCTION TO THE SPECIAL ISSUE ON MATHEMATICS AND ALGORITHMS IN COMPUTER-AIDED MANUFACTURING, ENGINEERING, AND NUMERICAL CONTROL, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2013, 第 1 作者  通讯作者
（29） GEOMETRIC ERROR CONTROL IN THE PARABOLA-BLENDING LINEAR INTERPOLATOR, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2013, 第 1 作者  通讯作者
（30） 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, 第 1 作者
（31） Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations, MATHEMATICS IN COMPUTER SCIENCE, 2012, 第 1 作者  通讯作者
（32） B-spline patches and transfinite interpolation method for PDE controlled simulation, JOURNALOFSYSTEMSSCIENCECOMPLEXITY, 2012, 第 2 作者
（33） B-SPLINE PATCHES AND TRANSFINITE INTERPOLATION METHOD FOR PDE CONTROLLED SIMULATION, B-SPLINE PATCHES AND TRANSFINITE INTERPOLATION METHOD FOR PDE CONTROLLED SIMULATION, 系统科学与复杂性：英文版, 2012, 第 2 作者
（34） Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter, MATHEMATICS IN COMPUTER SCIENCE, 2012, 第 1 作者  通讯作者
（35） 基于边缘信息的图像去马赛克方法, Demosaics Method Based on Edge Detection, 计算机系统应用, 2012, 第 2 作者
（36） B-SPLINE PATCHES AND TRANSFINITE INTERPOLATION METHOD FOR PDE CONTROLLED SIMULATION, B-SPLINE PATCHES AND TRANSFINITE INTERPOLATION METHOD FOR PDE CONTROLLED SIMULATION, 系统科学与复杂性：英文版, 2012, 第 2 作者
（37） 数控机床高速微线段插补算法与自适应前瞻处理, 中国科学技术科学, 2011, 第 4 作者
（38） 数控插补中基于运动曲线的局部优化和基于前瞻控制的整体优化, LOCAL OPTIMIZATION BASED ON KINEMATIC CURVE AND GLOBAL OPTIMIZATION BASED ON LOOK-AHEAD SHCEME IN CNC INTERPOLATION, 系统科学与数学, 2010, 第 3 作者
（39） 基于指标形式张量的微分几何定理机器证明, MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY, 系统科学与数学, 2009, 第 4 作者
（40） 几何代数在定理证明中的消元与化简算法, ALGORITHMS OF ELIMINATION AND SIMPLIFICATION BASED ON GEOMETRIC ALGEBRA IN AUTOMATIC PROVING OF GEOMETRIC THEOREM, 系统科学与数学, 2009, 第 2 作者
（41） 四元数的复数形式及其在6R机器人反解中的应用, AN APPLICATION OF DUAL QUATERNIONS ON THE REVERSE DISPLACEMENT ANALYSIS OF 6R ROBOTS, 系统科学与数学, 2009, 第 3 作者
（42） SYMBOLIC VERSOR COMPRESSION ALGORITHM, ACTA MATHEMATICA SCIENTIA, 2009, 第 1 作者  通讯作者
（43） Some special types of solutions of a class of the (N+1)-dimensional nonlinear wave equations, COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2008, 第 3 作者
（44） Symbolic computation and non-travelling wave solutions of (2+1)-dimensional nonlinear evolution equations, CHAOS SOLITONS & FRACTALS, 2008, 第 2 作者
（45） Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space, SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 第 2 作者
（46） Single and multi-solitary wave solutions to a class of nonlinear evolution equations, JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2008, 第 2 作者
（47） 从几何代数到高级不变量计算, FROM GEOMETRIC ALGEBRAS TO ADVANCED INVARIANT COMPUTING, 系统科学与数学, 2008, 第 1 作者
（48） A note on discrete connections on regular lattice, COMMUNICATIONS IN THEORETICAL PHYSICS, 2008, 第 2 作者
（49） Exterior difference system on hypercubic lattice, ACTA APPLICANDAE MATHEMATICAE, 2007, 第 2 作者
（50） Elliptic equation's new solutions and their applications to two nonlinear partial differential equations, APPLIED MATHEMATICS AND COMPUTATION, 2007, 第 2 作者
（51） 仿射括号代数理论与算法及其在几何定理机器证明中的应用, 中国科学：A辑, 2007, 第 2 作者
（52） Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving, SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 第 2 作者
（53） 仿射括号代数理论与算法及其在几何定理机器证明中的应用, 中国科学(A辑:数学), 2007, 第 2 作者
（54） 基于共形几何代数的几何分解及程序实现, Geometric Decomposition and Programming Realization with Conformal Geometric Algebra, 应用数学学报, 2007, 第 2 作者
（55） Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving, SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 第 2 作者
（56） 一类初等微分几何定理机器证明的算法与实现, 系统科学与数学, 2006, 第 2 作者
（57） 共形几何代数与几何不变量的代数运算, Conformal Geometric Algebra and Algebraic Manipulations of Geometric Invariants, 计算机辅助设计与图形学学报, 2006, 第 1 作者
（58） 共形几何代数与运动和形状的刻画, Conformal Geometric Algebra for Motion and Shape Description, 计算机辅助设计与图形学学报, 2006, 第 1 作者
（59） 共形几何代数——几何代数的新理论和计算框架, Conformal Geometric Algebra������A New Framework for Computational Geometry, 计算机辅助设计与图形学学报, 2005, 第 1 作者
（60） clifford代数几何计算和几何推理, Clifford Algebra, Geometric Computing and Reasoning, 数学进展, 2003, 第 1 作者
（61） 初等几何定理证明的Clifford代数方法, 数学进展, 1997, 第 2 作者
（62） 关于刚体系统的单侧约束运动, 应用数学和力学, 1996, 第 1 作者

   

（ 1 ） *****, 负责人, 国家任务, 2023-10--2024-09
（ 2 ） 隐私保护数据处理的数学方法, 负责人, 国家任务, 2020-12--2025-11
（ 3 ） *****, 负责人, 国家任务, 2019-05--2023-03
（ 4 ） 数学定理的机器证明和数学证明的验证补充, 负责人, 中国科学院计划, 2017-05--2021-04
（ 5 ） 几何定理机器证明的代数方法的等价性与完全性, 负责人, 国家任务, 2017-01--2020-12
（ 6 ） 量子基础算法及其在密码分析中的应用, 负责人, 国家任务, 2017-01--2017-12
（ 7 ） 数学与先进制造交叉研究, 负责人, 中国科学院计划, 2011-11--2018-12
（ 8 ） 数学机械化方法及其在数字化设计制造中的应用, 负责人, 国家任务, 2010-09--2015-08
（ 9 ） 杰青, 负责人, 国家任务, 2010-01--2013-12
（ 10 ） 数学机械化方法及其在信息技术中的应用, 参与, 国家任务, 2009-01--2014-12