×
曼弗雷德·米米奈尔

使用Maple包DR计算Dixon结果。 （英语） Zbl 1388.68319号

Kotsireas，Ilias S.（编辑）等人，《计算机代数的应用》，希腊卡拉马塔，2015年7月20日至23日。查姆：施普林格（ISBN 978-3-319-56930-7/hbk；978-3-3169-56932-1/电子书）。《Springer Proceedings in Mathematics&Statistics》198，273-287（2017）。
概要：Maple包DR提供了计算参数多元多项式系统的Dixon结式的函数。Dixon结式构成多项式在专门化其参数后具有公共根的必要条件。DR包的最新版本2包括新的启发式枢轴行检测因子，用于从Dixon矩阵中提取Dixon结果。它在基准多项式系统上表现出高效性，在大多数系统上优于其他启发式算法。
关于整个系列，请参见[Zbl 1379.13001号].

引用于1文件

MSC公司：

68瓦30 符号计算和代数计算
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
15甲15 行列式、恒量、迹、其他特殊矩阵函数

关键词：

合成的;狄克逊矩阵;多项式系统

软件：

博士;枫树;SageMath公司;费马牌手表;S评估
PDF格式BibTeX公司 XML格式引用
\textit{M.Minimair}，施普林格程序。数学。Stat.198，273--287（2017；Zbl 1388.68319）
全文： 内政部

参考文献：

[1] Bus，L.，Elkadi，M.，Mourrain，B.：在计算机辅助几何设计中使用投影算子。当代。数学。334, 321-342 (2003) ·Zbl 1036.14500号
[2] Chionh，E.-W.，Zhang，M.，Goldman，R.N.：Bezout和Dixon结式矩阵的快速计算。J.塞姆。计算。33(1), 13-29 (2002) ·兹比尔0996.65046 ·doi:10.1006/jsco.2001.0462
[3] Chtcherba，A.D.，Kapur，D.：多项式系统结式的行列式条件。摘自：2006年符号和代数计算国际研讨会论文集，第55-62页。ACM（2006年）·兹伯利1356.13043
[4] Chtcherba，A.，Kapur，D.，Minimair，M.：多元复合多项式的Cayley-Dixon投影算子。J.塞姆。计算。44(8), 972-999 (2009) ·Zbl 1234.68470号 ·doi:10.1016/j.jsc.2008.07.007
[5] Coutsias，E.A.，Seok，C.，Jacobson，M.P.，Dill，K.A.：环路闭合的运动学视图。J.计算。化学。25, 510-528 (2004) ·doi:10.1002/jcc.10416
[6] Dixon，A.L.：两个独立变量中三个量子化的消去。程序。伦敦。数学。Soc.7（49-69），473-492（1908）·JFM 40.0207.01标准
[7] Emiris，I.Z.，Mourrain，B.：消除理论中的矩阵。J.塞姆。计算。28(12), 3-44 (1999) ·Zbl 0943.13005号 ·doi:10.1006/jsco.1998.0266
[8] Heinle，A.，Levandovskyy，V.：SDEval基准测试工具包。ACM通信。计算。阿尔盖布。49(1), 1-9 (2015) ·Zbl 1365.68493号
[9] Hu，H.Y.，Wang，Z.：具有延迟反馈的受控机械系统动力学。斯普林格，纽约（2002）·Zbl 1035.93002号 ·doi:10.1007/978-3-662-05030-9
[10] Kapur，D.，Minimair，M.：伯恩斯坦基础上的多元结果。摘自：第七届几何自动演绎国际会议论文集。计算机科学课堂讲稿，第6301卷，第60-85页。施普林格，上海（2011）·Zbl 1302.13029号
[11] Kapur，D.，Saxena，T.Yang，L.：使用狄克逊结果的代数和几何推理。摘自：《符号和代数计算国际研讨会论文集》（ISSAC’94），第99-107页。ACM，纽约（1994）·Zbl 0964.68536号
[12] Lewis，R.H.：比较Dixon和Macaulay结果的加速技术。数学。计算。模拟。(2008) ·Zbl 1192.65056号
[13] Lewis R.H.：加快Dixon结果的启发式方法。数学。计算。模拟。77（4），400-407（2008）·Zbl 1138.65037号
[14] Lewis，R.H.：几种系统中GCD的比较。https://home.bway.net/lewis/fermat/gcdcomp
[15] Lewis，R.H.：费马系统中的狄克逊结式计算。http://home.bway.net/lewis/。2015年9月29日访问
[16] Lewis，R.H.：由Bricard驱动的参数多项式系统。http://home.bway.net/lewis/dixon/。2015年9月29日访问
[17] Lewis，R.H.，Stiller，P.：使用Dixon结式解决六条线的识别问题。数学。计算。模拟。49(3), 205-219 (1999) ·doi:10.1016/S0378-4754（99）00050-6
[18] Little，J.B.：使用计算代数和代数几何求解SelesnickBurrus滤波器设计方程。高级申请。数学。31(2), 463-500 (2003) ·Zbl 1032.94002号 ·doi:10.1016/S0196-8858（03）00022-8
[19] Minimair，M.：DR：Dixon结果计算的Maple包（2015）。http://minimair.org/dr/ ·Zbl 1388.68319号
[20] Nakos，G.，Williams，R.M.：用Dixon结果消除。数学。教育。第6（3）号决议，11-21（1997）
[21] Paláncz，B.：通过极点配置将Dixon结果应用于卫星轨道控制。J.塞姆。计算。50, 79-99 (2013) ·Zbl 1253.93051号 ·doi:10.1016/j.jsc.2012.05.007
[22] Paláncz，B.，Zaletnyik，P.，Awange，J.L.，Grafarend，E.W.：Dixon结果表示大地多项式方程组的解。《大地测量学杂志》82（8），505-511（2007）·doi:10.1007/s00190-007-0199-0
[23] Stein，W.：Sage-开源数学软件系统（2008）
[24] Sun，W.K.：用Dixon结式求解3-6个并联机器人。申请。机械。马特。235158-163（2012年）·doi:10.4028/www.scientific.net/AMM.235.158
[25] Zhao，S.，Fu，H.：构造Dixon结式矩阵的扩展快速算法。科学。中国Ser。数学。48(1), 131-143 (2005) ·Zbl 1122.14302号 ·doi:10.1360/04YS0166
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。