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

研究领域

   

招生信息

   
招生专业
070104-应用数学
招生方向
机器证明
符号计算
量子计算

教育背景

   
学历
   
学位
   

工作经历

   
工作简历
1998-06~2013-06,中科院数学院, 研究员
社会兼职
   

教授课程

   

专利与奖励

   
奖励信息
(1) 中国科学院数学与系统科学研究院关肇直冠名研究员, 特等奖, 研究所(学校), 2017
(2) Hestenes最佳论文奖, 其他, 2015
专利成果
( 1 ) 一种基于多项式约化的初等数列问题自动求解技术, 2017, 第 2 作者, 专利号: 2017104562482

出版信息

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

合作情况

   
项目协作单位
   

指导学生