李洪波 0012
人员信息
附属： 中国科学院数学与系统科学研究院数学机械化重点实验室，中国北京
其他同名人员
李洪波 （又名：李洪波，李洪波） — 消歧页 李洪波 0001 -清华大学计算机科学与技术系，中国北京 李洪波 0002 ![[0000-0002-4750-1457]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-4750-1457")
-哈尔滨工业大学电子与信息工程学院 李洪波 0003 — 中国上海交通大学 （还有1个） 李洪波 0004 -华南农业大学数学与信息学院，中国广州 李洪波 0005 — 东北师范大学信息科学与技术学院，长春，中国 （还有1个） 李洪波 0006 -加利福尼亚大学河滨分校计算机科学与工程系，美国加利福尼亚州河滨 李洪波 0007 -中山大学数据与计算机学院，广州，中国 李洪波 0008 -新加坡科技与设计大学，工程系统与设计支柱，新加坡 李洪波 0009 -中国武汉市第六医院放射科江汉大学附属医院 李洪波 0010 -张家口哈尔滨工业大学、中国张家口高新区电力研究院 李洪波 0011 -东北林业大学机电工程学院，哈尔滨，中国 李洪波 0013 -上海大学管理学院，中国上海
优化列表
2020年–今天
2021 
[i6] 马广生 , 李洪波 , 赵纪曼（Jiman Zhao） 以下为：
量子Radon变换及其应用。 CoRR公司 abs/2107.05524 ( 2021 ) 2020 [公元22年] 陈晓宇（Xiaoyu Chen） , 李洪波 , 泾阳 以下为：
几何自动演绎专题前言。 数学。 计算。 科学。 14 ( 4 ) 以下为： 671-672 ( 2020 ) [公元21年] 马广生 , 李洪波 , 赵纪曼（Jiman Zhao） 以下为：
计算基础中的量子QR分解。 量子信息处理。 19 ( 8 ) 以下为： 271 ( 2020 ) [i5] 马广生 , 李洪波 以下为：
无需预处理的量子全同态加密。 CoRR公司 abs/2012.04211 ( 2020 )
2010 – 2019
2019 [公元20年] 小山高 , 李洪波 , 王东明 以下为：
特刊前言。 J.系统。 科学。 复杂。 32 ( 1 ) 以下为： 1-2 ( 2019 ) [公元19年] 李洪波 以下为：
零几何代数的自动定理证明实践。 J.系统。 科学。 复杂。 32 ( 1 ) 以下为： 95-123 ( 2019 ) [公元18年] 邵长鹏 , 杨丽 , 李洪波 以下为：
量子算法设计：技术与应用。 J.系统。 科学。 复杂。 32 ( 1 ) 以下为： 375-452 ( 2019 ) [i4] 杨丽 , 李洪波 以下为：
随机子集和问题的改进量子算法。 CoRR公司 abs/1912.09264 ( 2019 ) 2018 [公元20年] 邵长鹏 , 李洪波 以下为：
基于Tableau操作的括号多项式快速校直算法。 ISSAC公司 2018 以下为： 367-374 2017 [第19条] 李洪波 以下为：
几何代数自动几何推理：理论与实践。 ISSAC公司 2017 以下为： 7-8个 [第18条] 李洪波 , 张丽 , 杨丽 以下为：
图代数扩展的黎曼张量多项式规范化。 ISSAC公司 2017 以下为： 269-276 [i3] 李洪波 , 张丽 , 杨丽 以下为：
图代数扩展的黎曼张量多项式规范化。 CoRR公司 abs/1701.08487 ( 2017 ) 2016 [公元17年] 邵长鹏 , 李洪波 , 雷黄（Lei Huang） 以下为：
用立体几何中的奥数问题挑战定理证明者。 数学。 计算。 科学。 10 ( 1 ) 以下为： 75-96 ( 2016 ) 2015 [公元16年] 郭建新 , 张强（Qiang Zhang） , 小山高 , 李洪波 以下为：
基于线性规划的跟踪误差受限的时间最优进给速度生成。 J.系统。 科学。 复杂。 28 ( 1 ) 以下为： 80-95 ( 2015 ) [公元15年] 王国峰 , 秦雪英 , 范忠 , 刘岳（音） , 李洪波 , 群胜鹏 , 杨明慧 以下为：
通过稀疏和局部线性编码进行视觉跟踪。 IEEE传输。 图像处理。 24 ( 11 ) 以下为： 3796-3809 ( 2015 ) [第17条] 李洪波 以下为：
用高级不变代数进行符号几何推理。 MACIS公司 2015 以下为： 35-49 [i2] 李洪波 , 雷黄（Lei Huang） , 邵长鹏 , 雷东（Lei Dong） 以下为：
三维射影几何与几何代数。 CoRR公司 abs/1507.06634 ( 2015 ) 2014 [第16条] 李洪波 , 邵长鹏 , 雷黄（Lei Huang） , 刘岳（音） 以下为：
括号多项式之间的约简。 ISSAC公司 2014 以下为： 304-311 2013 [公元14年] 李洪波 , 莫舍·什皮塔尔尼 以下为：
介绍计算机辅助制造、工程和数控中的数学和算法专题。 J.系统。 科学。 复杂。 26 ( 5 ) 以下为： 665-666 ( 2013 ) [j13] 李洪波 , 张丽仙 以下为：
抛物线型线性插值器中的几何误差控制。 J.系统。 科学。 复杂。 26 ( 5 ) 以下为： 777-798 ( 2013 ) [公元12年] 李洪波 , 张丽仙 以下为：
时间最优直线运动中Jerk控制最大最小原理的两个证明。 数学。 计算。 科学。 7 ( 2 ) 以下为： 229-236 ( 2013 ) [i1] 李洪波 以下为：
三维正交几何代数不变量中多项式的规范化。 CoRR公司 abs/1302.7194 ( 2013 ) 2012 [公元11年] 刘元杰 , 李洪波 以下为：
用于PDE控制仿真的B样条曲面片和超限插值方法。 J.系统。 科学。 复杂。 25 ( 2 ) 以下为： 348-361 ( 2012 ) [公元10年] 李洪波 , 里达·法鲁基 , 王定康 以下为：
CAM和CNC数学和算法专题前言。 数学。 计算。 科学。 6 ( 三 ) 以下为： 267-268 ( 2012 ) [公元9年] 李洪波 , 姚寿斌 , 葛丽 , 刘元杰 , 张丽仙 以下为：
用滚珠刀具在自由曲面上生成等残留刀具轨迹的幂级数解。 数学。 计算。 科学。 6 ( 三 ) 以下为： 281-296 ( 2012 ) [j8] 李洪波 , 小山高 , 张丽仙 , 孙瑞勇 以下为：
有界加速度下二维加工中G01代码的离散插值。 数学。 计算。 科学。 6 ( 三 ) 以下为： 327-344 ( 2012 ) 2011 [第15条] 李洪波 , 孙瑞勇 , 姚寿斌 , 葛丽 以下为：
离散可微曲线上定义的常微分方程的近似有理解。 ISSAC公司 2011 以下为： 217-224 [第3页] 李洪波 , 曹元浩 以下为：
用零几何代数证明几何定理。 几何代数实践指南 2011 以下为： 195-215年 [第2页] 李洪波 , 张丽仙 以下为：
ℝ上零几何代数的线几何 3, 3 ，以及在广义Stewart平台逆奇异性分析中的应用。 几何代数实践指南 2011 以下为： 253-272 2010 [第1页] 李洪波 以下为：
共形几何代数中三维共形变换的参数化。 几何代数计算 2010 以下为： 71-90
2000 – 2009
2009 [第14条] 李涵 , 小山高 , 李洪波 , 张丽仙 , 刘杰（音译） 以下为：
基于NC截面数据的任意形状重建及其在空间刀具补偿和干涉检测中的应用。 CAD/图形 2009 以下为： 435-441 2008 [j7] 王登山 , 甄亚燕 , 李洪波 以下为：
一类（N+1）维非线性波动方程的一些特殊类型的解。 计算。 数学。 申请。 56 ( 6 ) 以下为： 1569-1579 ( 2008 ) [j6] 李洪波 , 李娜·赵 , 陈颖（音） 以下为：
通过参数calotte传播进行多面体场景分析的符号方法。 机器人 26 ( 4 ) 以下为： 483-501 ( 2008 ) [第13条] 李洪波 , 雷黄（Lei Huang） 以下为：
复杂括号，平衡复杂差异，以及符号几何计算中的应用。 ISSAC公司 2008 以下为： 181-188 2007 [j5] 王登山 , 李洪波 以下为：
椭圆方程的新解及其在两个非线性偏微分方程中的应用。 申请。 数学。 计算。 188 ( 1 ) 以下为： 762-771 ( 2007 ) [c12] 李洪波 以下为：
符号几何计算的秘诀：长几何积、BREEFS和Clifford因式分解。 ISSAC公司 2007 以下为： 261-268 2006 [第11条] 孙伟坤 , 李洪波 以下为：
关于混合Cayley-Sylvester结式矩阵。 AISC公司 2006 以下为： 146-159 2005 [电子1] 李洪波 , 彼得·奥尔弗 , 杰拉尔德·索默 以下为：
计算机代数和几何代数及其应用，第六届国际研讨会，2004年5月19日至21日，中国上海，IWMM，2004年；国际研讨会，GIAE 2004年，西安，2004年，5月24日至28日，修订论文集。 计算机科学课堂讲稿 3519, 施普林格 2005 ，国际标准图书编号 3-540-26296-2 [目录] 2004 [第10条] 李洪波 以下为：
n个 通过局部传播从单个二维线条图重建三维多面体场景。 几何中的自动演绎 2004 以下为： 169-197 【c9】 李洪波 , 李娜·曹 , 曹南斌 , 孙伟坤 以下为：
内微分几何与几何微积分。 IWMM/GIAE公司 2004 以下为： 207-216 【c8】 李洪波 , 徐荣华 , 张宁（Ning Zhang） 以下为：
关于Miquel的五圆定理。 IWMM/GIAE公司 2004 以下为： 217-228 【c7】 李洪波 , 全旺（Quan Wang） , 李娜·赵 , 陈颖（音） , 雷黄（Lei Huang） 以下为：
n个 从单个二维线图中进行三维对象表示和检测。 IWMM/GIAE公司 2004 以下为： 363-382 【c6】 李洪波 , 李娜·赵 , 陈颖（音） 以下为：
结合参数传播和Calotte分析的多面体场景分析。 IWMM/GIAE公司 2004 以下为： 383-402 【c5】 李洪波 以下为：
利用clifford代数在齐次几何模型中进行符号计算。 ISSAC公司 2004 以下为： 221年至228年 2003 [j4] 李洪波 , 吴一宏 以下为：
Cayley代数和括号代数射影几何定理的自动简短证明生成：I.关联几何。 J.赛姆布。 计算。 36 ( 5 ) 以下为： 717-762 ( 2003 ) [j3] 李洪波 , 吴一宏 以下为：
用Cayley代数和括号代数自动生成射影几何定理的短证明：II。 圆锥几何。 J.赛姆布。 计算。 36 ( 5 ) 以下为： 763-809 ( 2003 ) 2002 【c4】 李洪波 以下为：
几何定理自动证明中的代数表示、消去和展开。 几何中的自动演绎 2002 以下为： 106-123 2001 【c3】 李洪波 以下为：
Grassmann-Cayley代数的三焦点张量。 罗伯维斯 2001 以下为： 237-244 2000 [注2] 李洪波 以下为：
机械几何定理证明的矢量方程求解。 J.汽车。 原因。 25 ( 2 ) 以下为： 83-121 ( 2000 ) [c2] 李洪波 , 吴一宏 以下为：
关联几何中定理的自动证明——一种基于括号代数的消元方法。 几何中的自动演绎 2000 以下为： 199-227年 【c1】 李洪波 以下为：
欧几里德几何的李模型。 AFPAC公司 2000 以下为： 115-133
1990 – 1999
1998 [j1] 李洪波 , 程敏德 以下为：
微分几何中定理自动证明的Clifford代数约简方法。 J.汽车。 原因。 21 ( 1 ) 以下为： 1-21 ( 1998 )
合著者索引
