×
迈克尔·马文

正交系统的充分可积条件集。 （英语） Zbl 1180.35381号

已找到。计算。数学。 9，第6号，651-674（2009）.
摘要：已知每个正交偏微分方程组都具有有限个可积条件，这些条件足以确保所有条件的有效性。这里我们证明了一个无冗余的充分可积条件集可以在与方程数的立方成正比的时间内构造。

引用于18文件

MSC公司：

35N10型 变系数偏微分方程的超定系统
12H20型 抽象微分方程
52B20型 凸几何中的格多面体（包括与交换代数和代数几何的关系）

关键词：

无冗余集

软件：

算法628;SYMMGRP公司;FGb公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Marvan}，已找到。计算。数学。9，第6号，651--674（2009；Zbl 1180.35381）
全文： 内政部 链接

参考文献：

[1] J.Apel，R.Hemmecke，《检测对合基计算中不必要的缩减》，J.Symb。计算。40, 1131–1149 (2005). ·Zbl 1120.13028号 ·doi:10.1016/j.jsc.2004.04.004
[2] G.Birkhoff，《晶格理论》，第三版。（美国数学学会，普罗维登斯，1967年）。
[3] A.V.Bocharov、V.N.Chetverikov、S.V.Duzhin、N.G.Khor'kova、I.S.Krasil'schhik、A.V.Samokhin、Yu。N.Torkhov、A.M.Verbovetsky和A.M.Vinogradov，《数学物理微分方程的对称性和守恒定律》。数学专著翻译，第182卷（美国数学学会，普罗维登斯，1999年）。
[4] F.Boulier，《微分代数中塞登堡消元算法的优化》，《数学》。计算。模拟。42, 439–448 (1996). ·Zbl 1037.12502号 ·doi:10.1016/S0378-4754（96）00018-3
[5] B.Buchberger，《Ein Algorithmus zum Auffinden der Basicelemente des Restklassenringes nach einem nulldimensionalen Polynomideal》，博士论文，Univ-Innsbruck，1965年·Zbl 1245.13020号
[6] B.Buchberger，Gröbner基地建设中检测不必要减少的标准。EUROSAM’79，E.W.Ng编辑，《计算机科学讲义》，第72卷（施普林格，柏林，1979年），第3-21页·Zbl 0417.68029号
[7] M.Caboara，M.Kreuzer，L.Robbiano，高效计算临界对的最小集，J.Symb。计算。38, 1169–1190 (2004). ·Zbl 1137.13315号 ·doi:10.1016/j.jsc.2003.08.009
[8] J.-C.Faugère，计算Gröbner基（F4）的一种新的高效算法，J.Pure Appl。《代数》139，61-88（1999）·Zbl 0930.68174号 ·doi:10.1016/S0022-4049（99）00005-5
[9] R.Gebauer，M.Möller，关于Buchberger算法的安装，J.Symb。计算。6, 275–286 (1988). ·Zbl 0675.13013号 ·doi:10.1016/S0747-7171（88）80048-8
[10] V.P.Gerdt，Gröbner基底和代数和微分方程的对合方法，数学。计算。模型。25，75–90（1997年）·2014年3月9日 ·doi:10.1016/S0895-7177（97）00060-5
[11] Yu·V.P.Gerdt。布林科夫，多项式理想的对合基，数学。计算。模拟。45, 519–541 (1998). ·Zbl 1017.13500号 ·doi:10.1016/S0378-4754（97）00127-4
[12] G.Grätzer，《一般格理论》（Akademie，柏林，1978）。
[13] W.Hereman，《李对称分析符号软件评论》，数学。计算。模型。25, 115–132 (1997). ·Zbl 0898.34002号 ·doi:10.1016/S0895-7177（97）00063-0
[14] E.Hubert，《关于三角集和三角分解算法的注释II：微分系统》，符号和数值科学计算，Proc。Conf.Hagenberg，编辑：F.Winkler，U.Langer，奥地利，2001年。计算机科学课堂讲稿，第2630卷（Springer，柏林，2003），第40-87页·Zbl 1022.12005年
[15] M.Janet，Leçons sur les Systèmes d’quations aux Deriveées Partielles（巴黎，1929年）。
[16] R.M.Karp，R.E.Tarjan，连接问题的线性预期时间算法，J.算法1374–393（1980）·Zbl 0463.68060号 ·doi:10.1016/0196-6774（80）90017-6
[17] B.Kruglikov，V.Lychagin，Mayer括号和PDE的可解性。一、 不同。几何。申请。17, 251–272 (2002). ·Zbl 1026.35004号 ·doi:10.1016/S0926-2245（02）00110-9
[18] B.Kruglikov，V.Lychagin，Mayer括号和PDE的可解性。II、 变速器。美国数学。Soc.3581077-1103（2006年）·Zbl 1093.35053号 ·doi:10.1090/S002-9947-05-03724-4
[19] W.Küchlin，基于广义纽曼引理的汇合准则，载于EUROCAL’85，Proc。Conf.Linz，第2卷，B.F.Caviness编辑，1985年4月1日至3日。计算机课堂讲稿。科学。，第204卷（施普林格出版社，柏林，1985年），第390-399页。
[20] M.Marvan，正交系统可积性条件的充分集：扩展抽象，《场论的整体可积性》，Proc。《2006年礼物》，达累斯伯里科克克罗夫特研究所，J.Calmet、W.M.Seiler、R.W.Tucker编辑，2006年11月1日至3日（卡尔斯鲁厄大学，2006年），第243-247页。http://www.uvka.de/univerlag/volltexte/2006/164/pdf/Tagungsband_GIFT.pdf . ·兹比尔1180.37095
[21] E.Miller，B.Sturmfels，组合交换代数，施普林格数学研究生论文。，第227卷（Springer，纽约，2004年）·Zbl 1090.13001号
[22] P.J.Olver，《等价、不变量和对称》（剑桥大学出版社，剑桥，1999年）。
[23] J.F.Pommaret，偏微分方程系统和李伪群（Gordon和Breach，纽约，1978年）·Zbl 0418.35028号
[24] G.J.Reid，将偏微分方程组简化为标准形式的算法，确定其解空间的维数并计算其Taylor级数解，Eur.J.Appl。数学。2, 293–318 (1991). ·Zbl 0768.35001号 ·doi:10.1017/S095679250000577
[25] G.J.Reid，P.Lin，A.D.Wittkopf，DAE和PDAE的差分消除补全算法，研究应用。数学。106, 1–45 (2001). ·Zbl 1152.65458号 ·doi:10.1111/1467-9590.00159
[26] G.J.Reid，A.D.Wittkopf，A.Boulton，《将非线性偏微分方程组简化为简化对合形式》，《欧洲应用杂志》。数学。7, 604–635 (1996). ·Zbl 0892.35041号 ·doi:10.1017/S095679250002618
[27] C.Riquier，《Les Systèmes d’Èquations aux Deriveées Partielles》（巴黎Gauthier-Villars，1910年）。
[28] C.J.Rust，消除算法的导数排序，分析PDE的形式可解性，芝加哥大学博士论文，1998年。
[29] C.J.Rust，G.J.Reid，《偏导数排名》。ISSAC 1997（ACM，纽约，1997），第9-16页·Zbl 0960.12003号
[30] C.J.Rust，G.J.Reid，A.D.Wittkopf，解析微分系统形式幂级数解的存在唯一性定理。ISSAC 1999（ACM，纽约，1999），第105–112页。
[31] D.J.Saunders，《喷射束的几何》，伦敦数学。Soc.Lect（社会学）。注释系列，第142卷，（剑桥大学出版社，剑桥，1989-1929）。
[32] J.M.托马斯，里基尔存在定理，《数学年鉴》。30, 285–310 (1928). ·doi:10.307/1968282
[33] A.Tresse，Sur les不变量différentiels des groupes de transformations，《数学学报》。18, 1–88 (1894). ·doi:10.1007/BF02418270
[34] A.M.Verbovetsky，I.S.Krasil'S shchik，P.Kersten，M.Marvan，《偏微分方程几何中的同调方法》（MCCME，莫斯科，编制中）（俄语）。
[35] F.Winkler，《降低Knuth–Bendix补全算法的复杂性：不同方法的“统一”》，EUROCAL’85，Proc。Conf.Linz，第2卷，B.F.Caviness编辑，1985年4月1日至3日。计算机课堂讲稿。科学。，第204卷（施普林格出版社，柏林，1985年），第378–389页·兹比尔0579.68026
[36] F.Winkler，B.Buchberger，《消除Knuth–Bendix算法中不必要的约简的标准》，载于《计算机科学中的代数、组合学和逻辑》，第二卷，J.Demetrovics等人Coll编辑。数学。《社会学杂志》（J.Bolyai），第42卷（J.Polyai Math，社会学杂志，北荷兰，1986年），第849-869页·Zbl 0607.03003号
[37] F.Winkler，B.Buchberger，F.Lichtenberger，H.Rolletschek，《628算法：多项式理想规范基的构造算法》，ACM Trans。数学。柔和。11(1), 66–78 (1985). ·Zbl 0575.68047号 ·数字对象标识代码：10.1145/3147.214316
[38] A.D.Wittkopf，微分消除的算法和实现，西蒙·弗雷泽大学博士论文，2004年。
[39] T.Wolf，《利用syzygies守恒定律整合线性偏微分方程系统》，J.Symb。计算。35, 499–526 (2003). ·Zbl 1026.35003号 ·doi:10.1016/S0747-7171（03）00020-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。