基本信息

李洪波 男 博导 中国科学院数学与系统科学研究院
电子邮件: hli@mmrc.iss.ac.cn
通信地址: 82541807
邮政编码:
电子邮件: hli@mmrc.iss.ac.cn
通信地址: 82541807
邮政编码:
招生信息
招生专业
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