×

加快Dixon结果的启发式方法。 (英语) Zbl 1138.65037号

摘要:Dixon结式法通过计算其结式来求解多项式方程组。它构造一个方阵,其行列式(det)是结果(res)的倍数。最简单的方法是计算(det)、计算因子并识别(res)。但是,尽管(res)相对较小,但(det)通常太大,无法计算或计算因子。
我们描述了三种经常克服这些问题的启发式方法。第一个过程虽然有时本身很有用,但通常是第二个过程的子过程。第二个可以用于任何多项式系统,以发现\(det)的因子,而不产生完整的行列式。当\(res\)在某个指数模式中显示为\(det)的因子时,第三种方法适用。这发生在一些对称的方程组中。我们展示了来自计算化学、信号处理、动力学系统、量词消除和纯数学的例子。

MSC公司:

65H10型 方程组解的数值计算
2005年12月 场论和多项式的计算方面(MSC2010)
26立方厘米 实多项式:零点的位置
30立方厘米 多项式、有理函数和一个复变量的其他分析函数的零点(例如,具有有界Dirichlet积分的函数的零点)
65平方英尺 行列式的数值计算

软件:

费马
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] P.Bikker,关于Bezout计算结果的方法。RISC-Linz报告系列,奥地利林茨约翰内斯·开普勒大学,1995年。;P.Bikker,关于Bezout计算结果的方法。RISC-Linz报告系列,奥地利林茨约翰内斯·开普勒大学,1995年。
[2] Bricard,R.,《理论备忘录》,J.Math。Pures应用。,3113-150(1897),(英文翻译:·JFM 28.0624.01号
[3] Buse,L。;埃尔卡迪,M。;Mourrain,B.,单有理代数簇上的广义结果,J.符号计算。,29, 515-526 (2000) ·Zbl 0983.14039号
[4] Coutsias,E.A。;Seok,C.等人。;雅各布森,M.J。;Dill,K.A.,回路闭合的运动学视图,J.Compute。化学。,25, 4, 510-528 (2004)
[5] Dixon,A.L.,《两个自变量中三个量子化的消去》,Proc。伦敦数学。学会,6468-478(1908)·JFM 39.0219.02号
[6] 埃米利斯,I.Z。;Canny,J.F.,《稀疏结果和混合体积的高效增量算法》,J.符号计算。,20, 2, 117-149 (1995) ·Zbl 0843.68036号
[7] H.Hong,个人沟通。;H.Hong,个人沟通。
[8] 卡普尔,D。;Saxena,T.,各种多变量合成制剂的比较,(Levelt,A.,国际社会科学院院刊。国际社会科学院院刊,加拿大蒙特利尔(1995),ACM出版社),187-194·Zbl 0916.65048号
[9] 卡普尔,D。;Saxena,T。;Yang,L.,(符号和代数计算国际研讨会论文集。符号和代数运算、使用Dixon结果的代数和几何推理国际会议论文集(1994),ACM出版社)
[10] 科齐里亚斯,I.S。;Karamanos,K.,逻辑映射分岔点B4的精确计算和Bailey-Broadhurst猜想,国际期刊Bifurcat。《混沌》,14,7,2417-2423(2004)·Zbl 1077.37511号
[11] R.H.Lewis,计算机代数系统Fermat\(.\)www.bway.net/~;路易斯/;R.H.Lewis,计算机代数系统Fermat\(.\)www.bway.net/~;刘易斯/
[12] Lewis,R.H.,《在大问题上使用Dixon结果》,(哥伦比亚广播公司管理系统会议,哥伦比亚广播公司管理系统会议,德克萨斯农工大学(2002年5月))
[13] Lewis,R.H.,利用Dixon结式在多项式系统中的对称性,(计算机代数应用国际会议(ACA))。德克萨斯州拉马尔大学计算机代数应用国际会议(2004年7月)
[14] Lewis,R.H。;Bridgett,S.,生物化学中阿波罗纽斯问题产生的圆锥切线方程,数学。计算。模拟。,61, 2, 101-114 (2003) ·Zbl 1016.51014号
[15] R.H.Lewis,E.A.Coutsias,使用多项式系统的结果进行灵活性算法搜索。《几何自动演绎会议论文集》,西班牙蓬特韦德拉,提交出版。;R.H.Lewis,E.A.Coutsias,使用多项式系统的结果进行灵活性算法搜索。《几何自动演绎会议论文集》,西班牙蓬特韦德拉,提交出版·Zbl 1195.68115号
[16] Little,J.,使用计算代数和代数几何求解Selesnick-Burrus滤波器设计方程,Adv.Appl。数学。,31663-500(2003年)·Zbl 1032.94002号
[17] D.Robertz,V.Gerdt,(2004年)网址:http://www.bway.net/∼;刘易斯/费马/gcdcomp;D.Robertz,V.Gerdt,(2004年)网址:http://www.bway.net/∼;刘易斯/费马/gcdcomp
[18] Sommese,A。;Verschelde,J。;Wampler,C.,多项式系统解集到不可约分量的数值分解,SINUM,38,6,2022-2046(2001)·Zbl 1002.65060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。