马克·朱斯蒂;克莱门斯·哈格尔;格里戈伊尔·勒塞夫;乔·马尔坎德;布鲁诺·萨尔维 射影Noether-Maple包：计算射影簇的维数。 （英语） Zbl 0963.68235号 J.塞姆。计算。 30，第3期，291-307（2000）. 摘要：消去理论的最新理论进展使用直线程序作为数据结构来表示多元多项式。这里我们介绍了投影Noether包，它是这些新算法之一的Maple实现，作为一个副产品，可以计算投影簇的维数。给出了几个多元多项式方程组族的时间和空间基准的比较结果，指出了不同方法的优缺点。 引用于10文件 MSC公司： 68瓦30 符号计算和代数计算 关键词：消除论;投影Noether包;枫树 软件：克罗内克;枫树;投影Noether PDF格式BibTeX公司 XML格式引用 \textit{M.Giusti}等人，J.Symb。计算。30，第3号，291--307（2000；Zbl 0963.68235） 全文： 内政部 参考文献： [1] Balcázar，J.L。；D编号́；阿兹·J。；Gabarró，J.，《结构复杂性》。一、 理论计算机科学课文。EATCS系列，\（2^{nd}\）编辑（1995），《施普林格·弗拉格：柏林施普林格尔·弗拉格》·Zbl 0826.68048号 [2] Berkowitz，S.J.，关于使用少量处理器在小并行时间内计算行列式，Inf.Process。莱特。，181147-150（1984年）·Zbl 0541.68019号 [3] Björck，G.，傅里叶变换具有常数模的（Z_n）上模1的函数，以及“循环根”，傅里叶分析及其应用的最新进展（Il Ciocco，1989），第315卷，共315卷北约高级科学研究院系列C：数学和物理科学（1990），Kluwer Academic Publishers:Kluwer-Academy Publishers Dordrecht，第131-140页·Zbl 0726.43004号 [4] 考克斯博士。；Little，J。；O'Shea，D.，《理想、多样性和算法》，数学本科生教材，\（2^{nd}\）编辑（1997），Springer-Verlag:Springer-Verlag纽约 [5] 艾森巴德，D.，《交换代数与代数几何》，第150卷，共数学研究生课程（1995），Springer-Verlag:Springer-Verlag纽约·Zbl 0819.13001号 [6] J.-C.Faugère；J.-C.福盖尔 [7] J.-C.Faugère；J.-C.福盖尔 [8] 菲查斯，N。；Giusti，M。；Smietanski，F.，Sur la complexitédu theéorème des zéros，《加勒比地区的近似与优化》，第二期（哈瓦那，1993年），第8卷，共页近似和优化（1995），彼得·朗·弗拉格（与乔斯·海因茨、路易斯·米格尔·帕尔多、胡安·萨比亚和巴勃罗·索莱诺合作）·2008年8月68日 [9] Giusti，M.，代数簇的组合维理论，J.Symb。计算。（交换代数计算方面的特刊），6249-265（1988）·Zbl 0697.14001号 [10] Giusti，M。；Heintz，J.，La détermination des points isolés et de La dimension d'une variétéalgébrique peut se faire en temps多项式的端点，（艾森巴德，d.；罗比亚诺，L.，计算代数几何和交换代数（科尔托纳，1991），第三十四卷Matematica专题讨论会（1993），剑桥大学出版社：剑桥大学出版社，216-256·Zbl 0829.14029号 [11] M.Giusti、G.Lecerf、B.Salvy；M.Giusti、G.Lecerf、B.Salvy [12] Heintz，J.，关于多项式和双线性映射的计算复杂性。调查，《应用代数、代数算法和纠错码》（Menorca，1987）（1989），《施普林格：施普林格柏林》，第269-300页·兹伯利0678.68036 [13] 海因茨，J。；Schnorr，C.P.，《测试易于计算的多项式，逻辑和算法》（Zürich，1980）（1982），第237-254页·Zbl 0483.68043号 [14] Lecerf，G.，The Projective Noether Package，用户手册（1997），法国巴黎理工学院GAGE实验室 [15] Lecerf，G。；Schost，E.，Maple软件包：GB链接(http://tera.mediis.polytechnique.fr/tera/soft.html)（1997年），法国帕莱索埃科尔理工大学计量实验室 [16] Mehlhorn，K。；Näher，S。；Uhrig，C.，高效数据结构和算法库(http://www.mpi-sb.mpg.de/LEDA/LEDA.html)（1997），马克斯·普朗克计算机科学研究所 [17] Mulmuley，K.，计算任意域上矩阵秩的快速并行算法，组合数学，7101-104（1987）·Zbl 0635.65040号 [18] Stoß，H.-J.，关于有界复杂度有理函数的表示，理论。计算。科学。，64, 1-13 (1989) ·Zbl 0679.68099号 [19] 斯特拉森，V.，Berechnung und Programm。一、 二、信息学报。，1, 320-355 (1972) ·Zbl 0252.68018号 [20] 同上，264-79（1973）·Zbl 0258.68022号 [21] von zur Gather，J.，《并行算术计算：一项调查》，《计算机科学数学基础》，1986年（布拉迪斯拉发，1986年）（1986年），施普林格出版社：施普林格柏林出版社，第93-112页·Zbl 0616.68037号 [22] Wadler，P.，《森林砍伐：改造项目以消除树木》，Theor。计算。科学。（第二期ESOP精选论文专刊），73231-248（1990）·Zbl 0701.68013号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。