基本信息
李洪波  男  博导  中国科学院数学与系统科学研究院
电子邮件: hli@mmrc.iss.ac.cn
通信地址: 82541807
邮政编码:

招生信息

   
招生专业
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, 第 11 作者
(19) Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension, PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, 第 11 作者
(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