跳到主要内容
10.1145/3597066.3597122交流会议文章/章节视图摘要出版物页面伊萨克会议记录会议集合
研究论文

具有多重性的区间多项式的验证根封闭

出版:2023年7月24日出版历史

摘要

二十年前,曾[28,30]提出了浮点算法来计算实系数或复系数超过所谓“可达到的精度界限”的一元多项式的多个根。基于这些基础,我们针对这个问题提出了一个经过验证的数值观点。我们的第一个贡献是使用一个简单的技巧改进了Zeng的多重性检测算法,使我们能够恢复更高的多重性。作为我们的主要贡献,我们提出了两种浮点验证算法来计算多个根的严格封闭。它们在于将Zeng的数值算法背后的思想与牛顿型定点验证技术仔细结合。我们还提供了这些算法的原型Julia实现。

工具书类

  1. 伯恩哈德·贝克曼和乔治·拉巴恩。1998年。两个数值多项式何时相对质数?符号计算杂志26,6(1998),677-689。https://doi.org/10.1006/jsco.1998.0234谷歌学者谷歌学者数字图书馆数字图书馆
  2. Jeff Bezanson、Alan Edelman、Stefan Karpinski和Viral B Shah。2017年,朱莉娅:数值计算的新方法。SIAM审查59,1(2017),65–98。https://doi.org/10.1137/141000671谷歌学者谷歌学者数字图书馆数字图书馆
  3. 达里奥A。比尼和保拉·博伊托。2007.基于结构化矩阵的多项式ε-Gcd方法:分析和比较。2007年符号和代数计算国际研讨会(ISSAC’07)会议记录。美国纽约州纽约市计算机械协会,9–16日。https://doi.org/10.1145/1277548.1277551谷歌学者谷歌学者数字图书馆数字图书馆
  4. 保拉·博伊托。2012.基于结构矩阵的近似多项式GCD方法。第15卷。施普林格科学与商业媒体。https://doi.org/10.1007/978-88-7642-381-9谷歌学者谷歌学者交叉引用交叉引用
  5. 罗伯特·M·。帕特里齐亚·科尔利斯。巴里·M·吉安尼。Trager和Stephen M。瓦特。1995.多项式系统的奇异值分解。1995年符号和代数计算国际研讨会论文集(ISSAC’95)。美国医学会,195-207。https://doi.org/10.1145/20346.220371谷歌学者谷歌学者数字图书馆数字图书馆
  6. Ioannis Z公司。埃米利斯、安德烈·加里戈和亨利·隆巴迪。1997.经认证的近似单变量GCD。《纯粹与应用代数杂志》117-118(1997),229-251。https://doi.org/10.1016/S0022-4049(97)00013-3谷歌学者谷歌学者交叉引用交叉引用
  7. 马克·朱斯蒂(Marc Giusti)、格雷戈伊尔·勒塞夫(Grégoire Lecerf)、布鲁诺·萨维(Bruno Salvy)和珍妮·克劳德·雅库布森(Jean-Claude Yakoubsohn)。2005.关于解析函数零点簇的位置和近似。计算数学基础5(2005),257–311。https://doi.org/10.1007/s10208-004-0144-z谷歌学者谷歌学者交叉引用交叉引用
  8. 基因H。Golub和Charles F。Van Loan。1996.矩阵计算(第三版)。约翰·霍普金斯大学出版社。https://doi.org/10.56021/9781421407944谷歌学者谷歌学者交叉引用交叉引用
  9. 尼古拉斯·J·。海姆。2002.数值算法的准确性和稳定性(第二版)。工业和应用数学学会。https://doi.org/10.1137/1.9780898718027谷歌学者谷歌学者交叉引用交叉引用
  10. 弗雷德里克·约翰逊。2017.Arb:高效任意精度中点-半径区间算法。IEEE传输。计算。66,8(2017),1281–1292。https://doi.org/10.109/TC.2017.2690633谷歌学者谷歌学者数字图书馆数字图书馆
  11. 威廉·卡恩(William Kahan)。1972年。保护汇流路以控制病态。技术报告。https://apps.dtic.mil/sti/citations/AD0766916应用程序谷歌学者谷歌学者
  12. Angelos Mantzaflaris和Bernard Mourrain。2011.多项式系统奇异零点的通缩和认证隔离。第36届符号与代数计算国际研讨会论文集(美国加利福尼亚州圣何塞)(ISSAC’11)。美国医学会,249–256。https://doi.org/10.1145/1993886.1993925谷歌学者谷歌学者数字图书馆数字图书馆
  13. 拉蒙E。Moore、R.Baker Kearfott和Michael J。云。2009年,区间分析导论。工业和应用数学学会。https://doi.org/10.1137/1.9780898717716谷歌学者谷歌学者交叉引用交叉引用
  14. C.安德鲁·内夫和约翰·H。雷夫。1996.复杂根问题的有效算法。《复杂性杂志》12,2(1996),81–115。https://doi.org/10.1006/jcom.1996.008谷歌学者谷歌学者数字图书馆数字图书馆
  15. 阿诺德·纽梅尔。1991.方程组的区间方法。剑桥大学出版社。https://doi.org/10.1017/CBO9780511526473谷歌学者谷歌学者交叉引用交叉引用
  16. 维克多·Y。平移。1997.多项式方程的求解:一些历史和最新进展。SIAM Rev.39,2(1997),187-220。https://doi.org/10.1137/S0036144595288554谷歌学者谷歌学者数字图书馆数字图书馆
  17. 维克多·Y。平移。2002.单变量多项式:数值因式分解和求根的近似最优算法。符号计算杂志33,5(2002),701-733。https://doi.org/10.1006/jsco.2002.0531谷歌学者谷歌学者数字图书馆数字图书馆
  18. 吉·罗恩。1996.超定线性区间方程组的封闭解。可靠计算2(1996),167-171。https://doi.org/10.1007/BF02425920谷歌学者谷歌学者交叉引用交叉引用
  19. 齐格弗里德M。臀部。1999.国际实验室-国际实验室。斯普林格。https://doi.org/10.1007/978-94-017-1247-7_7谷歌学者谷歌学者交叉引用交叉引用
  20. 齐格弗里德M。臀部。2003.绑定多项式多重根的十种方法。J.计算。申请。数学。156, 2 (2003), 403–432. https://doi.org/10.1016/S0377-0427(03)00381-9谷歌学者谷歌学者数字图书馆数字图书馆
  21. 齐格弗里德·M·。臀部。2010.验证方法:使用浮点算法获得严格的结果。《数值学报》19(2010),287–449。https://doi.org/10.1017/S096249291000005X谷歌学者谷歌学者交叉引用交叉引用
  22. 齐格弗里德·M·。臀部和Stef Graillat。2010.验证了非线性方程组多根的误差界。《数值算法》54(2010),359–377。https://doi.org/10.1007/s11075-009-9339-3谷歌学者谷歌学者交叉引用交叉引用
  23. Tateaki Sasaki和Matu-Tarow Noda。1989年.病态代数方程的近似无平方分解和寻根。J.通知。过程12,2(1989),159-168。谷歌学者谷歌学者数字图书馆数字图书馆
  24. 阿诺德·施恩哈吉(Arnold Schönhage)。1985.准GCD计算。《复杂性杂志》1,1(1985),118-137。https://doi.org/10.1016/0885-064X(85)90024-X谷歌学者谷歌学者交叉引用交叉引用
  25. 汉斯·J·斯特特。2004年,数值多项式代数。暹罗。谷歌学者谷歌学者
  26. Lloyd N Trefethen和David Bau。1997.数值线性代数。第181卷。工业和应用数学学会。谷歌学者谷歌学者
  27. 沃里克·塔克。2011.验证数值:严格计算简介。普林斯顿大学出版社。https://doi.org/10.2307/j.ctvcm4g18谷歌学者谷歌学者交叉引用交叉引用
  28. 曾忠刚。2003.计算不精确多项式多重根的方法。2003年符号和代数计算国际研讨会论文集(ISSAC’03)。美国医学会,266–272。https://doi.org/10.1145/8860854.860907谷歌学者谷歌学者数字图书馆数字图书馆
  29. 曾忠刚。2004.算法835:MultRoot——计算多项式根和乘数的Matlab包。ACM事务处理。数学。柔和。30,2(2004年6月),218-236。https://doi.org/10.1145/992200.992209谷歌学者谷歌学者数字图书馆数字图书馆
  30. 曾忠刚。2005.计算不精确多项式的多重根。数学。公司。74, 250 (2005), 869–903. https://doi.org/10.1090/S0025-5718-04-01692-8谷歌学者谷歌学者交叉引用交叉引用
  31. 曾忠刚和巴里·H。代顿。2004.不精确多项式的近似GCD。2004年符号和代数计算国际研讨会论文集(ISSAC’04)。美国医学会,320–327。https://doi.org/10.1145/1005285.1005331谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 多重区间多项式的有效根封闭

        建议

        评论

        登录选项

        检查您是否可以通过登录凭据或您的机构访问本文。

        登录

        完全访问权限

        • 发布于

          封面图片ACM其他会议
          ISSAC’23:2023年符号和代数计算国际研讨会论文集
          2023年7月
          567页
          国际标准图书编号:9798400700392
          DOI(操作界面):10.1145/3597066

          版权所有©2023 ACM

          如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:2023年7月24日

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 研究论文
          • 研究
          • 推荐有限公司

          接受率

          总体验收率395属于838提交,47%
        • 文章指标

          • 下载次数(过去12个月)34
          • 下载次数(最近6周)0

          其他指标

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器

        HTML格式

        以HTML格式查看本文。

        查看HTML格式