李洪志
人员信息
优化列表
2020年–今天
2024 [公元29年] 李基顺(Kisun Lee) , 南丽 , 李洪志 :
解析系统平减一奇异零点的两步牛顿法。 J.塞姆。 计算。 123 : 102278 ( 2024 ) 2023 [公元28年] 杨正峰 , 赵汉瑞 , 李洪志 :
VerifyRealRoots:用于计算多项式方程组和不等式组的验证实解的Matlab包。 J.系统。 科学。 复杂。 36 ( 2 ) : 866-883 ( 2023 ) [公元31年] 杨建亭 , 柯晔 , 李洪志 :
有限阿贝尔群上函数的下界。 棉花(2) 2023 : 157-170 [公元30年] 思卓言 , 杨建亭 , 余天石 , 李洪志 :
镜子游戏完美策略的特征。 ISSAC公司 2023 : 545-554 [i8] 郝亮 , 靖宇路 , Manolis C.Tsakiris公司 , 李洪志 :
无标签传感的场论方法。 CoRR公司 abs/2303.01175 ( 2023 ) [i7] 李基顺(Kisun Lee) , 南丽 , 李洪志 :
解析系统平减一奇异零点的两步牛顿法。 CoRR公司 abs/2305.10803 ( 2023 ) [i6] 郝武 , 王秋叶 , 白雪 , 詹乃军(Naijun Zhan) , 李洪志 , 杨志宏 :
用半定规划合成多项式程序的不变量。 CoRR公司 abs/2310.11133 ( 2023 ) 2022 [公元27年] 南丽 , 李洪志 :
改进的两步牛顿法计算多项式系统的简单重零点。 数字。 算法 91 ( 1 ) : 19-50 ( 2022 ) [电子3] 马克·莫雷诺·马扎 , 李洪志 :
ISSAC’22:符号和代数计算国际研讨会,法国Villeneuve-d'Ascq,2022年7月4-7日。 ACM公司 2022 ,国际标准图书编号 978-1-4503-8688-3 [目录] [i5] 陶正 , 李洪志 :
非交换预序半代数通过其分数的半代数的Strassen型Vergleichsstellensatz。 CoRR公司 abs/2204.02577 ( 2022 ) 2021 [公元26年] 穆罕默德·萨弗里·埃尔丁 , 杨志宏 , 李洪志 :
计算实根和 S公司 -多项式系统的根。 J.塞姆。 计算。 102 : 259-278 ( 2021 ) 2020 [公元25年] 楚王 , 李洪志 :
非紧凸集的提升和锥因子分解。 J.系统。 科学。 复杂。 33 ( 5 ) : 1632-1655 ( 2020 ) [公元24年] 郝志伟 , 姜文荣 , 南丽 , 李洪志 :
多项式系统的简单多零点和零点簇的隔离。 数学。 计算。 89 ( 322 ) : 879-909 ( 2020 ) [电子2] Ioannis Z.埃米利斯 , 李洪志 :
ISSAC’20:符号和代数计算国际研讨会,希腊卡拉马塔,2020年7月20日至23日。 ACM公司 2020 ,国际标准图书编号 978-1-4503-7100-1 [目录] [i4] 贾汪聂 , 柯晔 , 李洪志 :
簇上的对称张量分解。 CoRR公司 abs/2003.09822 ( 2020 )
2010 – 2019
2019 [公元23年] 楚王 , 杨志宏 , 李洪志 :
实代数集上多项式的全局优化。 J.系统。 科学。 复杂。 32 ( 1 ) : 158-184 ( 2019 ) [i3] 王秋叶 , 李洪志 , 詹乃军(Naijun Zhan) , 白雪 , 杨志宏 :
用半定规划合成更具表现力的不变量。 CoRR公司 abs/1903.04668 ( 2019 ) 2018 [c29] 穆罕默德·萨弗里·埃尔丁 , 杨志宏 , 李洪志 :
多项式系统实根计算的复杂性。 ISSAC公司 2018 : 351-358 2017 [公元22年] 简·维舍尔 , 斯蒂芬·M·瓦特 , 李洪志 :
TCS SNC前言。 西奥。 计算。 科学。 681 : 1-2 ( 2017 ) [公元28年] 李洪志 :
计算多项式系统的多个零点:广度为一的情况(邀请谈话)。 中国科学院 2017 : 392-405 [公元27年] Jean-Guillaume Dumas女士 , 埃里希·卡尔托芬 , 吉尔斯·维拉德 , 李洪志 :
多项式时间电路给出的具有指数矩阵维数和标量的线性代数的多项式时间交互式证明。 ISSAC公司 2017 : 125至132 2016 [公元21年] 岳马 , 楚王 , 李洪志 :
计算正维实根理想时半定松弛的证明。 J.塞姆。 计算。 72 : 1-20 ( 2016 ) [公元26年] 郝志伟 , 埃里希·卡尔托芬 , 李洪志 :
数值稀疏度的确定和提前终止。 ISSAC公司 2016 : 247-254 2015 [公元20年] 郭峰 , 楚王 , 李洪志 :
非紧凸集的半定表示。 SIAM J.优化。 25 ( 1 ) : 377-395 ( 2015 ) [公元25年] 李洪志 :
非紧半代数集上的优化问题。 ISSAC公司 2015 : 13-14 [公元24年] 郭峰 , 穆罕默德·萨弗里·埃尔丁 , 楚王 , 李洪志 :
非紧实代数簇上参数线性函数的优化。 ISSAC公司 2015 : 205年至212年 2014 [公元19年] 南丽 , 李洪志 :
多项式系统孤立奇异解的验证误差界。 SIAM J.数字。 分析。 52 ( 4 ) : 1623-1640 ( 2014 ) 【c23】 李洪志 :
用于计算验证结果的符号数字算法。 ISSAC公司 2014 : 25-26 [公元22年] 郭峰 , 楚王 , 李洪志 :
在非紧实代数簇上优化线性函数。 SNC公司 2014 : 39-40 [电子1] 李洪志 , 斯蒂芬·瓦特 :
2014年7月28日至31日,中国上海,SNC’14,符号数字计算。 ACM公司 2014 ,国际标准图书编号 978-1-4503-2963-7 [目录] 2013 [公元18年] 伊利亚斯·科齐里亚斯 , 伯纳德·莫拉因 , 维克多·Y·潘 , 李洪志 :
前言。 西奥。 计算。 科学。 479 : 1-3 ( 2013 ) [公元17年] 李子嘉 , 李洪志 :
计算具有给定根重数的最近奇异一元多项式。 西奥。 计算。 科学。 479 : 150-162 ( 2013 ) [公元16年] 南丽 , 李洪志 :
多项式系统孤立奇异解的验证误差界:宽度为1的情况。 西奥。 计算。 科学。 479 : 163-173 ( 2013 ) 【c21】 郭庆东 , 穆罕默德·萨弗里·埃尔丁 , 李洪志 :
计算线性矩阵不等式的有理解。 ISSAC公司 2013 : 197-204 [公元20年] 杨正峰 , 李洪志 , 朱义军(Yijun Zhu) :
验证了正维多项式系统实解的误差界。 ISSAC公司 2013 : 371-378 2012 [公元15年] 埃里希·卡尔托芬 , 李斌(Bin Li) , 杨正峰 , 李洪志 :
利用有理系数有理函数的平方和对全局多项式优化进行精确证明。 J.塞姆。 计算。 47 ( 1 ) : 1-15 ( 2012 ) [公元14年] 吴晓丽 , 李洪志 :
通过几何对合形式的符号-数字约简确定多项式系统的奇异解。 J.塞姆。 计算。 47 ( 三 ) : 227-238 ( 2012 ) [j13] 奥雷连·格雷特 , 郭峰 , 穆罕默德·萨弗里·埃尔丁 , 李洪志 :
使用平方和对限制为光滑变化的多项式进行全局优化。 J.塞姆。 计算。 47 ( 5 ) : 第503页至第518页 ( 2012 ) [j12] 南丽 , 李洪志 :
计算孤立奇异解的重数结构:宽度为1的情况。 J.塞姆。 计算。 47 ( 6 ) : 700-710 ( 2012 ) [公元11年] 南丽 , 李洪志 :
计算多项式系统的孤立奇异解:宽度为1的情况。 SIAM J.数字。 分析。 50 ( 1 ) : 354-372 ( 2012 ) [第19条] 郭峰 , 埃里希·卡尔托芬 , 李洪志 :
确定多项式和函数在给定次数下Hilbert-Artin表示不可能的证明。 ISSAC公司 2012 : 195-202 [第18条] 岳马 , 李洪志 :
通过低秩矩矩阵补全计算多项式系统的实解。 ISSAC公司 2012 : 249-256 2011 [第17条] 马岳 , 李洪志 :
用改进的不动点连续法完成最小秩gram矩阵。 ISSAC公司 2011 : 241-248 2010 [公元10年] 穆罕默德·萨弗里·埃尔丁 , 李洪志 :
计算凸半代数集中的有理点和平方和分解。 SIAM J.优化。 20 ( 6 ) : 2876-2889 ( 2010 ) [第16条] 郭峰 , 穆罕默德·萨弗里·埃尔丁 , 李洪志 :
使用广义临界值和平方和对多项式进行全局优化。 ISSAC公司 2010 : 107-114 [第15条] 李子嘉 , 杨正峰 , 李洪志 :
基于快速近似GCD的盲图像反褶积。 ISSAC公司 2010 : 155-162 [第14条] 莎伦·赫顿 , 埃里希·卡尔托芬 , 李洪志 :
通过Seidenberg方法的对偶计算多元实多项式的半正定半径。 ISSAC公司 2010 : 227-234 [i2] 岳马 , 李洪志 :
基于不动点连续法的最小秩Gram矩阵完备化。 CoRR公司 abs/1011.6495 ( 2010 )
2000 – 2009
2009 [公元9年] 格雷格·里德 , 李洪志 :
通过符号数字化简到几何对合形式来求解多项式系统。 J.塞姆。 计算。 44 ( 三 ) : 280-291 ( 2009 ) [第13条] 埃里希·卡尔托芬 , 杨正峰 , 李洪志 :
利用有理函数的平方和证明了维数4的单调列恒等式(MCP)猜想。 SNC公司 2009 : 65-70 [i1] 穆罕默德·萨弗里·埃尔丁 , 李洪志 :
计算凸半代数集和SOS分解中的有理点。 CoRR公司 腹肌/0910.2973 ( 2009 ) 2008 [j8] 埃里希·卡尔托芬 , 约翰·P·梅 , 杨正峰 , 李洪志 :
使用奇异值分解的多元多项式的近似因式分解。 J.塞姆。 计算。 43 ( 5 ) : 359-376 ( 2008 ) [j7] 李斌(Bin Li) , 贾汪聂 , 李洪志 :
多项式和稀疏SOS松弛的近似GCD。 西奥。 计算。 科学。 409 ( 2 ) : 200-210 ( 2008 ) [第12条] 埃里希·卡尔托芬 , 李斌(Bin Li) , 杨正峰 , 李洪志 :
通过用浮点标量合理化平方和来精确证明近似因子分解的全局最优性。 ISSAC公司 2008 : 155-164 [第11条] 吴晓丽 , 李洪志 :
从几何对合形式计算多重结构。 ISSAC公司 2008 : 325-332 2007 [j6] 王东明 , 李洪志 :
前言。 数学。 计算。 科学。 1 ( 2 ) : 209-210 ( 2007 ) [j5] 孙东霞 , 李洪志 :
Bezout矩阵的结构化低秩逼近。 数学。 计算。 科学。 1 ( 2 ) : 427-437 ( 2007 ) 【j4】 李冰雨 , 刘卓君 , 李洪志 :
一种求解Sylvester结构总最小二乘问题的快速算法。 信号处理。 87 ( 10 ) : 2313-2319 ( 2007 ) [第10条] 埃里希·卡尔托芬 , 杨正峰 , 李洪志 :
混合符号-数字算法中随机化的概率分析。 SNC公司 2007 : 11月17日 【c9】 李洪志 :
混合符号-数字计算中的数值优化。 SNC公司 2007 : 33-35 【c8】 埃里希·卡尔托芬 , 李斌(Bin Li) , 卡提克·西瓦拉马克里希南 , 杨正峰 , 李洪志 :
通过半定规划进行近似分解的下限:(扩展抽象)。 SNC公司 2007 : 203-204 【c7】 李斌(Bin Li) , 贾汪聂 , 李洪志 :
多项式和SOS松弛的近似GCD。 SNC公司 2007 : 205-206 2006 【c6】 埃里希·卡尔托芬 , 李洪志 :
混合符号-数字计算。 ISSAC公司 2006 : 7 【c5】 埃里希·卡尔托芬 , 杨正峰 , 李洪志 :
具有线性约束系数的几个多项式和奇异多项式的近似最大公约数。 ISSAC公司 2006 : 169-176年 2004 [j3] 罗伯特·M·科尔利斯 , 斯蒂芬·瓦特 , 李洪志 :
QR分解计算一元近似多项式的GCD。 IEEE传输。 信号处理。 52 ( 12 ) : 3394-3402 ( 2004 ) 【c4】 格雷戈里·里德 , 唐建良 , 余建平 , 李洪志 :
求解新型姿态估计方程组的混合方法。 IWMM/GIAE公司 2004 : 44-55 【c3】 高树红 , 埃里希·卡尔托芬 , 约翰·P·梅 , 杨正峰 , 李洪志 :
通过微分方程对多元多项式进行近似因式分解。 ISSAC公司 2004 : 167-174 2003 【c2】 格雷戈里·里德 , 唐建良 , 李洪志 :
一种用于确定相机姿势的完整符号-数字线性方法。 ISSAC公司 2003 : 215-223 2000 【c1】 黄玉珍 , 吴文达(Wenda Wu) , 汉斯·J·斯特特 , 李洪志 :
多元多项式的伪因子。 ISSAC公司 2000 : 161-168
1990年至1999年
1998 [j2] 李洪志 , 吴文达(Wenda Wu) :
最近奇异多项式。 J.塞姆。 计算。 26 ( 6 ) : 667-675 ( 1998 ) 1997 [j1] 李洪志 :
代数分解的优化算法。 J.计算。 科学。 技术。 12 ( 1 ) : 1-9 ( 1997 )