李洪波
【姓名】 李洪波
【职称】 研究员;
【研究领域】 数学;计算机软件及计算机应用;自动化技术;
【研究方向】
【发表文献关键词】 Clifford代数,数学机械化,几何定理机器证明,几何计算,机器证明,共形几何代数,几何不变量,几何定理,代数,零括号代数,几何还原,仿射几何,定理机器证明,仿射括号代数,刚体运动,单眼视觉,形状逼...
【工作单位】 中国科学院数学与系统科学研究院
【曾工作单位】 中国科学院数学与系统科学研究院;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
1/26 18 20 10 250 7370
中国期刊全文数据库    共找到25篇
[1]吴澄冉;李洪波;.AFFINE SPINOR DECOMPOSITION IN THREE-DIMENSIONAL AFFINE GEOMETRY[J]Acta Mathematica Scientia.2022,(06)
[2]李洪波;.共形几何代数中的分阶幂零单项式的几何解释[J]中国科学:数学.2021,(01)
[3]孙瑞勇;张立先;李洪波;.基于目标函数的小线段转接点处的运动规划[J]系统科学与数学.2019,(08)
[4]刘姜;李洪波;张立先;.一类Riemann张量指标表达式的标准型完全分类及其在微分几何中的应用[J]中国科学:数学.2013,(04)
[5]张立先;孙瑞勇;高小山;李洪波;.数控机床高速微线段插补算法与自适应前瞻处理[J]中国科学:技术科学.2011,(06)
[6]刘元杰;李洪波;.基于边缘信息的图像去马赛克方法[J]计算机系统应用.2012,(02)
[7]刘姜;李洪波;曹源昊;.涉及坐标变换的微分多项式在求和约定下的化简和标准型[J]中国科学(A辑:数学).2009,(04)
[8]李洪波;.SYMBOLIC VERSOR COMPRESSION ALGORITHM[J]Acta Mathematica Scientia.2009,(04)
[9]高小山;李洪波;.前言[J]系统科学与数学.2009,(09)
[10]曹源昊;李洪波;.几何代数在定理证明中的消元与化简算法[J]系统科学与数学.2009,(09)
更多
承担国家科研项目    共找到4个
[1]李洪波;.数学机械化理论与核心算法[A].中国科学院数学与系统科学研究院;.项目经费 0.2004-04-29.资助文献数 11 篇
[2]李洪波;.基于几何代数符号计算的几何分解[A].中国科学院数学与系统科学研究院;.项目经费 15万元.2004-03-31.资助文献数 6 篇
[3]李洪波;.经典和现代几何的自动推理和符号计算的高级不变量技术[A].中国科学院数学与系统科学研究院;.项目经费 18万元.2008-03-20.资助文献数 0 篇
[4]李洪波.从共形几何代数到高级不变量理论[A].中国科学院数学与系统科学研究院.项目经费 140万元.2009-03-20.资助文献数 0 篇
更多