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

研究领域

招生信息
招生专业070104-应用数学

招生方向机器证明
符号计算
量子计算


教育背景
学历
学位

工作经历
工作简历1998-06~2013-06,中科院数学院,研究员

社会兼职

教授课程

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

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


出版信息
发表论文（1）Quantum Algorithm Design: Techniques and Applications,J. Syst. Sci. Complex.,2019-01,第3作者
（2）LI Hongbo. Automated Theorem Proving Practice with Null Geometric Algebra,J. Syst. Sci. Complex.,2019-01,第1作者
（3）Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations,Proc. ISSAC 2018,2018,第2作者
（4）Coordinate-free theorem proving in incidence geometry,Handbook of Geometric Constraint Systems Principles,2018,第2作者
（5）From molecular distance geometry to conformal geoemtric algebra,Handbook of Geometric Constraint Systems Principles,2018,第2作者
（6）Basis-free Solution to General Linear Quaternionic Equation,Linear and Multilinear Algebra,2018,第2作者
（7）Minimal time corner transition algorithm with confined feedrate and axial acceleration for nc machining along linear tool path,Int. J. Manuf. Technol.,2017,第3作者
（8）Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension,Proc. ISSAC 2017,2017,第1作者
（9）Automated Geometric Reasoning with Geometric Algebra: Theory and Practice,Proc. ISSAC 2017,2017,第1作者
（10）Symbolic Geometric Reasoning with Advanced Invariant Algebras,MACIS 2015, LNCS 9582,2016,第1作者
（11）Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry,Mathematics in Computer Science,2016,第2作者
（12）Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming,J Syst Sci Complex,2015,第4作者
（13）Visual Tracking via Sparse and Local Linear Coding,IEEE T. Image Processing,2015,第4作者
（14）Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter.,Math. Comput. Sci.,2012,第1作者
（15）Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations.,Math. Comput. Sci.,2012,第1作者
（16）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

参与会议

合作情况
项目协作单位

指导学生