×
罗曼·勒布雷顿

放松的Hensel三角组提升。 （英语） Zbl 1386.68230号

J.塞姆。计算。 68，第2部分，230-258（2015）.
摘要：在本文中，我们提出了一种新的一般\（p）-adic环上三角形集的提升算法。我们的贡献是给出了对于任意（p）元三角集，三角集是不动点的移位算法。然后我们可以应用松弛递归（p）-adic框架，推导出该三角集的松弛提升算法。我们将我们的算法与现有技术进行了比较，并报告了C++图书馆Geomsolvex公司属于马塞马吉克斯（van der Hoeven等人，2002年）。我们的新松弛算法具有竞争力，并且在一些示例中比较有利。

引用于6文件

MSC公司：

68瓦30 符号计算和代数计算
11S85型 其他非分析理论
2016年11月 数论算法；复杂性
13第05页 交换环中的多项式、因式分解

关键词：

多项式系统求解;在线算法;松弛算法;三角形集合;单变量表示;\（p\）-adic整数;幂级数

软件：

克罗内克;马塞马吉克斯;gmp公司;隔离
PDF格式BibTeX公司 XML格式引用
\文本{R.Lebreton}，J.Symb。计算。68，第2部分，230--258（2015；Zbl 1386.68230）
全文： 内政部

参考文献：

[1] 奥布里，P。；拉扎德，D。；Moreno Maza，M.，《关于三角集理论》，J.Symb。计算。，28，1-2，105-124（1999），多项式消除算法及其应用·Zbl 0943.12003号
[2] Berkowitz，S.J.，关于使用少量处理器在小并行时间内计算行列式，Inf.Process。莱特。，18, 3, 147-150 (1984) ·Zbl 0541.68019号
[3] Berthomieu，J。；Lebreton，R.，代数系统的松弛基Hensel提升，（ISSAC’12（2012）会议录，ACM出版社），59-66·Zbl 1308.68158号
[4] Berthomieu，J。；van der Hoeven，J。；Lecerf，G.，（p\）-adic数的松弛算法，J.Théor。Bordx.号。，23, 3, 541-577 (2011) ·Zbl 1247.11152号
[5] 博斯坦，A。；乔杜里，M.F。；van der Hoeven，J。；Schost，E.，乘法模三角集的同伦技术，J.Symb。计算。，1378-1402年12月46日（2011年）·Zbl 1239.68079号
[6] Bostan，A。；乔杜里，M.F.I。；勒布雷顿，R。；Salvy，B。；Schost，E.，奇异（q）微分方程的幂级数解，（ISSAC’12（2012）学报，ACM出版社），107-114·Zbl 1323.68586号
[7] Bürgisser，P。；克劳森，M。；Shokrollahi，M.A.，代数复杂性理论，Grundlehren der Mathematischen Wissenschaften，第315卷（1997），Springer-Verlag:Springer-Verlag Berlin，与Thomas Lickteig合作·Zbl 1087.68568号
[8] 康托，D.G。；关于任意代数上多项式的快速乘法，《信息学报》。，28, 7, 693-701 (1991) ·Zbl 0766.68055号
[9] 科珀史密斯，D。；Winograd，S.，《通过算术级数进行矩阵乘法》，J.Symb。计算。，9, 3, 251-280 (1990) ·Zbl 0702.65046号
[10] Dahan，X。；莫雷诺·马扎（Moreno Maza，M.）。；Schost，E。；Wu，W。；谢毅，三角分解的提升技术，（ISSAC’05（2005），ACM出版社），108-115·Zbl 1360.14146号
[11] Dahan，X。；莫雷诺·马扎（Moreno Maza，M.）。；斯科斯特，E。；Xie，Y.，《论D5原理的复杂性》，（超越计算（2006）），149-168·Zbl 1198.12005年
[12] Dahan，X。；金，X。；莫雷诺·马扎（Moreno Maza，M.）。；Schost，E.，正维正则链的序变化，Theor。计算。科学。，392, 1-3, 37-65 (2008) ·Zbl 1131.14065号
[13] De，A。；库鲁尔，P。；萨哈，C。；Saptharishi，R.，使用模运算的快速整数乘法，（STOC'08（2008），ACM:ACM纽约），499-505·Zbl 1231.68289号
[14] 费舍尔，M.J。；Stockmeyer，L.J.，快速在线整数乘法，J.Compute。系统。科学。，9317-331（1974年）·Zbl 0289.68016号
[15] Fürer，M.，《更快的整数乘法》（STOC 2007年会议记录）。STOC 2007年会议记录，加利福尼亚州圣地亚哥（2007），57-66·兹比尔1179.68198
[16] 詹尼，P。；Mora，T.，使用Groebner基的多项式方程组的代数解，（应用代数、代数算法和纠错码）。应用代数、代数学算法和纠错码，Menorca，1987年。应用代数、代数算法和纠错码。《应用代数、代数算法和纠错码》，Menorca，1987年，《计算讲义》。科学。，第356卷（1989），《施普林格：柏林施普林格》，247-257·Zbl 0692.13012号
[17] Giusti，M。；Heintz，J.，Algorithmes-disons rapides-pour la décomposition d'une variétéalgébrique en composantes irréductables etéquidimensionnelles，（MEGA.MEGA，Progr.Math.，vol.94（1991），Birkhäuser），169-194年·Zbl 0755.14018号
[18] Giusti，M。；海因茨，J。；哈格尔，K。；Morais，J.E。；Pardo，L.M。；Montaña，J.L.，丢番图近似的下限，J.Pure Appl。代数，117/118，277-317（1997），代数算法（Eindhoven，1996）·Zbl 0871.68101号
[19] Giusti，M。；海因茨，J。；Morais，J.E。；Pardo，L.M.，《解决问题的结构》，C.r.Acad。科学。巴黎。我数学。，325, 11, 1223-1228 (1997) ·Zbl 0893.68144号
[20] Giusti，M。；Lecerf，G。；Salvy，B.，《多项式系统求解的无Gröbner替代方案》，J.Complex。，154-211年1月17日（2001年）·Zbl 1003.12005年
[22] 海因茨，J。；马特拉，G。；Waissbein，A.，关于几何消除过程的时空复杂性，应用。代数工程通讯。计算。，11, 4, 239-296 (2001) ·Zbl 0977.68101号
[23] Hennie，F.C.，在线图灵机计算，IEEE Trans。电子。计算。，EC-15、1、35-44（1966）·Zbl 0143.01401号
[24] Kalkbrener，M.，计算代数簇三角表示的广义欧几里德算法，J.Symb。计算。，15, 143-167 (1993) ·Zbl 0783.14039号
[25] Kaltoffen，E.，《关于计算无除法矩阵的行列式》（Wang，P.S.，Proc.1992 Internat.Sympolic Algebraic Comput.Proc.1992 Internat.SympolicAlgebraicComput，ISSAC’92（1992），ACM出版社：ACM Press New York，NY），342-349·Zbl 0978.65502号
[26] Kaltoffen，E。；Villard，G.，关于计算行列式的复杂性，计算。复杂。，13, 3-4, 91-130 (2004) ·Zbl 1061.68185号
[27] Katsura，S.，用有效场积分方程方法求解自旋玻璃问题，（《磁学新趋势》（1990）），110-121
[28] König，J.，Aus dem Ungarischenübertragen vom Verfasser（1903），B.G.Teubner：B.G.Tuubner Leipzig
[29] Kronecker，L.，Grundzüge einer代数理论，J.Reine Angew。数学。，92, 1-122 (1882)
[30] Langemyr，L.，多重代数扩展的算法，（代数几何中的有效方法。代数几何中的有效方法，Progr.Math.，第94卷（1991），Birkhäuser），235-248·Zbl 0741.11053号
[31] Lazard，D.，求解正维代数系统的新方法，离散应用。数学。，33、1-3、147-160（1991），应用代数、代数算法和纠错码（图卢兹，1989）·兹伯利0753.13013
[32] Lebreton，R.，《对松弛算法和多项式系统求解的贡献》（2012），埃科尔·波利技术，博士论文
[33] 勒布雷顿，R。；Schost，E.，《简单快速的在线幂级数乘法及其分析》（2013），HAL，Tech.rep
[34] 李，X。；莫雷诺·马扎（Moreno Maza，M.）。；Schost，E.，《三角集的快速算法：从理论到实践》，J.Symb。计算。，44, 7, 891-907 (2009) ·Zbl 1183.68755号
[35] Ritt，J.F.，微分代数（1966），多佛出版公司：纽约多佛出版有限公司·Zbl 0139.14701号
[36] Rouillier，F.，通过有理单变量表示求解零维系统，应用。代数工程通讯。计算。，9, 5, 433-461 (1999) ·Zbl 0932.12008号
[37] Schönhage，A。；斯特拉森，V.，Schnelle Multiplikation grosser Zahlen，Computing，7，281-292（1971）·Zbl 0223.68007号
[38] Schost，E.，三角集的度界限和提升技术，（2002年符号和代数计算国际研讨会论文集（2002年），ACM:ACM纽约），238-245，（电子版）·Zbl 1072.68695号
[39] Schost，E.，三角集的复杂性结果，J.Symb。计算。，36、3-4、555-594（2003），符号和代数计算国际研讨会（ISSAC’2002）（里尔）·Zbl 1074.68082号
[40] Schost，E.，计算参数几何分辨率，应用。代数工程通讯。计算。，13249-393（2003年）·Zbl 1058.68123号
[41] Schröder，M.，实数的快速在线乘法（STACS 97（Lübeck）。STACS 97（吕贝克），计算机课堂讲稿。科学。，第1200卷（1997），《施普林格：柏林施普林格》，81-92·Zbl 1498.68377号
[42] Stothers，A.，《关于矩阵乘法的复杂性》（2010），爱丁堡大学博士论文
[43] van der Hoeven，J.，形式幂级数的懒惰乘法，（ISSAC’97。ISSAC’97，夏威夷毛伊岛（1997）），17-20·Zbl 0932.68135号
[44] 范德霍文，J.，放松，但不要太懒，J.塞姆。计算。，34, 6, 479-542 (2002) ·Zbl 1011.68189号
[45] van der Hoeven，J.，《松弛乘法的新算法》，J.Symb。计算。，42, 8, 792-802 (2007) ·Zbl 1130.68103号
[46] van der Hoeven，J.，《牛顿方法与FFT交易》，J.Symb。计算。，第45/857-878页（2010年）·Zbl 1192.13017号
[47] van der Hoeven，J.，《从隐式方程到递归方程》（2011），HAL，技术代表·Zbl 1412.68308号
[48] van der Hoeven，J.，《更快的放松乘法》（ISSAC Proc.2014（2014））即将出版·兹比尔1325.68305
[49] van der Hoeven，J。；Lecerf，G。；Mourrain，B.，Mathemagix（2002），可从
[50] Vassilevska Williams，V.，《矩阵乘法速度快于Coppersmith-Winograd》，（STOC’12-2012年美国计算机学会计算理论研讨会论文集（2012），美国计算机学会：美国计算机学会纽约），887-898，[扩展摘要]·Zbl 1286.65056号
[51] 冯·祖尔·盖森，J。；Gerhard，J.，《现代计算机代数》（2013），剑桥大学出版社：剑桥大学出版社·Zbl 1277.68002号
[52] Watt，S.，幂级数计算的不动点方法，（Gianni，P.，符号和代数计算，符号和代数学计算，计算机科学讲义，第358卷（1989年），Springer:Springer-Blinl/Heidelberg），206-217
[53] Wu，W.J.，《初等几何中机械定理证明的基本原理》，J.Syst。科学。数学。科学。，4, 3, 207-235 (1984)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。