070104-应用数学

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

   

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

   

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

   

（ 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