×
托马斯·巴克勒；弗拉基米尔·格特；马库斯·兰盖·赫格曼；丹尼尔·罗伯茨

代数和微分系统的托马斯分解。 （英语） Zbl 1202.68488号

Gerdt，Vladimir P.（编辑）等人，科学计算中的计算机代数。2010年9月6日至12日，第十二届国际研讨会，中国社会科学院2010年，亚美尼亚察赫卡佐。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15273-3/pbk）。计算机科学课堂讲稿6244，31-54（2010）。
摘要：我们考虑将代数和非线性偏微分方程组和不等式组分解为所谓的简单子系统。我们利用Thomas分解思想并将其发展为一种新算法。对于代数系统来说，简单性意味着三角形、正方形和不消失的首字母。对于微分系统，该算法不仅提供了代数简单性，而且还提供了对合性。该算法已在中实现枫树.
有关整个系列，请参见[Zbl 1195.68004号].

引用于1审查
引用于7文件

MSC公司：

68瓦30 符号计算和代数计算
05年12月12日 微分代数
13N10型 微分算子的交换环及其模
35A30型 偏微分方程背景下的几何理论、特征和变换

关键词：

枫树

软件：

正则链；DIFFALG公司；叶片；枫树；珍妮特；艾司隆；代数托马斯
PDF格式BibTeX公司 XML格式引用
\textit{T.Bächler}等人，Lect。票据计算。科学。6244、31-54（2010年；Zbl 1202.68488）
全文： 内政部 arXiv公司

参考文献：

[1] Apel，J.，Hemmecke，R.：检测对合基计算中不必要的减少。J.符号计算。40（4-5），1131-1149（2005），MR MR2169107（2006j:13026）·Zbl 1120.13028号
[2] Buium，A.，Cassidy，P.J.：微分代数几何和微分代数群：从代数微分方程到丢番图几何。收录于：[Kol99]，第567-636页（1999年）
[3] Blinkov，Y.A.，Cid，C.F.，Gerdt，V.P.，Plesken，W.，Robertz，D.：MAPLE包Janet：I.多项式系统。二、。线性偏微分方程。In：程序。第六届科学计算中的计算机代数国际研讨会，德国帕绍，第31-54页（2003年），http://wwwb.math.rwth-aachen.de/Janet
[4] Boulier，F.，Hubert，E.：DIFFALG：描述、帮助页和使用示例，加拿大安大略省滑铁卢大学符号计算小组（1996-2004），http://www-sop.inria.fr/members/Evelyne.Hubert/diffalg/
[5] Bouziane，D.，Rody，A.K.，Maárouf，H.：有限生成的完美微分理想的非混合多维分解。J.符号计算。31（6），631-649（2001），MR MR1834002（2002c:12007）·Zbl 1038.12005年 ·doi:10.1006/jsco.1999.1562
[6] Bächler，T.，Lange-Hegermann，M.：代数托马斯和微分托马斯：代数和微分系统的托马斯分解（2008-2010），http://wwwb.math.rwth-aachen.de/thomasdecomposition/
[7] Boulier，F.、Lazard，D.、Ollivier，F.和Petitot，M.：有限生成微分理想根的表示。收录于：ISSAC，第158-166页（1995年）·Zbl 0911.13011号 ·数字对象标识代码：10.1145/20346.220367
[8] Boulier，F.、Lazard，D.、Ollivier，F.和Petitot，M.：有限生成微分理想根的计算表示。申请。代数工程通信计算。20（1），73–121（2009），MR MR2496662（2010c:12005）·Zbl 1185.12003年 ·doi:10.1007/s00200-009-0091-7
[9] Boulier，F.：微分消除和生物建模，Gröbner在符号分析中的基础。氡序列。计算。申请。数学。2、109–137（2007），MR MR2394771（2009f:12005）·Zbl 1131.92002号
[10] Boulier，F.：BLAD:不同文化图书馆（2004-2009），网址：http://www.lifl.fr/布列尔/BLD/
[11] Chen，C.，Golubitsky，O.，Lemaire，F.，Maza，M.M.，Pan，W.：综合三角分解。收录人：Ganzha，V.G.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）CASC 2007。LNCS，第4770卷，第73-101页。斯普林格，海德堡（2007）·Zbl 1141.68677号 ·doi:10.1007/978-3-540-75187-87
[12] Dellière，S.：D.m.wang《简单系统和动态可构造闭包》，《利摩日大学第2000–16号研究报告》（2000）
[13] Diop，S.：关于普遍可观测性。In：程序。第31届决策和控制会议，亚利桑那州图坎市（1992年）·doi:10.1109/CDC.1992.370966
[14] Ducos，L.：子结式算法的优化。J.纯应用。代数145（2），149-163（2000），MR MR1733249（2000米：68187）·Zbl 0941.65044号
[15] Gerdt，V.P.，Blinkov，Y.A.：多项式理想的对合基。数学。计算。模拟45（5-6），519–541（1998），代数和微分方程系统的简化及其应用。MR1627129（99e:13033）
[16] Gerdt，V.P.，Blinkov，Y.A.：最小对合基。数学。计算。模拟45（5-6），543-560（1998），代数和微分方程系统的简化及其应用。MR MR1627130（99e:13034）
[17] Gerdt，V.P.：线性微分系统对合的完成。摘自：《科学计算中的计算机代数——CASC 1999》，慕尼黑，第115-137页。施普林格，柏林（1999），MR1729618（2001d:12010）·Zbl 1072.12500号 ·doi:10.1007/978-3-642-60218-49
[18] Gerdt，V.P.：计算Gröbner基的对合算法。收录：计算交换和非交换代数几何，北约科学。序列号。III计算。系统。科学。，第196卷，第199-225页。IOS，阿姆斯特丹（2005），MR MR2179201（2007c:13040）·Zbl 1104.13012号
[19] Gerdt，V.P.：关于将代数PDE系统分解为简单子系统。实际应用。数学。101（1-3），39–51（2008），MR MR2383543（2009c:35003）·Zbl 1154.68111号 ·数字对象标识代码：10.1007/s10440-008-9202-x
[20] Gerdt，V.P.，Yanovich，D.A.：研究计算多项式Janet基的对合准则的有效性。编程和计算机软件32（3），134-138（2006），MR MR2267374（2007e:13036）·Zbl 1103.68987号 ·网址：10.1134/S0361768806030030
[21] Gerdt，V.P.，Yanovich，D.A.，Blinkov，Y.A.：快速搜索Janet除数。编程和计算机软件27（1），22–24（2001），MR MR1867717·兹比尔1024.13009 ·doi:10.1023/A：1007130618376
[22] Habicht，W.:Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens。注释。数学。Helv公司。21、99–116（1948年），MR0023796（9405f）·Zbl 0029.24402号 ·doi:10.1007/BF02568028
[23] Hubert，E.：关于三角集和三角分解算法的注释。I.多项式系统。收录：Winkler，F.，Langer，U.（编辑）SNSC 2001。LNCS，第2630卷，第1-39页。斯普林格，海德堡（2003），MR MR2043699（2005c:13034）·Zbl 1022.12004年 ·doi:10.1007/3-540-45084-X1
[24] Hubert，E.：关于三角集和三角分解算法的注释。二、。差速器系统。收录：Winkler，F.，Langer，U.（编辑）SNSC 2001。LNCS，第2630卷，第40-87页。斯普林格，海德堡（2003），MR MR2043700（2005c:13035）·doi:10.1007/3-540-45084-X2
[25] Janet，M.：Leçons sur les systèmes deséquationes aux dérives es partielles。收录：Cahiers Scientifiques IV，Gauthiers-Villars，巴黎（1929）
[26] 科尔钦，E.R.：微分代数和代数群。《纯粹与应用数学》，第54卷。纽约学术出版社（1973），MR MR0568864（58#27929）
[27] 科尔钦，E.R.：埃利斯·科尔钦作品选集及评论。美国数学学会，普罗维登斯（1999）；Borel，A.、Singer，M.F.、Poizat，B.、Buium，A.、Cassidy，P.J.（编辑）的评论，以及Hyman Bass，Buium和Cassidy的前言。MR MR1677530（2000克：01042）·Zbl 0930.12004号
[28] Lemaire，F.、Moreno Maza，M.、Xie，Y.：枫叶的RegularChains图书馆。SIGSAM牛市。 39(3), 96–97 (2005) ·Zbl 1114.68628号 ·doi:10.1145/1113439.1113456
[29] Li，Z.，Wang，D.：偏微分系统零分解中的相干、正则和简单系统。系统科学和数学科学12，43–60（1999）·Zbl 1094.13545号
[30] Mishra，B.：算法代数。计算机科学的文本和专著。施普林格，纽约（1993），MR MR1239443（94j:68127）·doi:10.1007/978-1-4612-4344-1
[31] Riquier，F.：《政党制度》（1910）
[32] Ritt，J.F.：微分代数。载于：美国数学学会学术讨论会出版物，第三十三卷。美国数学学会，纽约（1950），MR MR0035763（12,7c）·Zbl 0037.18402号
[33] Rosenfeld，A.：微分代数专业。事务处理。阿默尔。数学。Soc.90394-407（1959年），MR0107642（21#6367）·Zbl 0192.14001号 ·doi:10.1090/S0002-9947-1959-0107642-2
[34] 塞勒，W.M.：《内卷化》。收录于：《数学中的算法和计算》，第24卷。Springer，Berlin（2010），微分方程形式理论及其在计算机代数中的应用。MR2573958材料·Zbl 1205.35003号
[35] shan Gao，X.，Huang，Z.：有限域方程求解的高效特征集算法及其在流密码分析中的应用，密码学电子打印档案，报告2009/637（2009），http://eprint.iacr.org/
[36] Thomas，J.M.：《微分系统》，第二十一卷。AMS学术讨论会出版物（1937）
[37] 托马斯，J.M.：系统与根源。威廉·伯德出版社，弗吉尼亚州里士满（1962）·Zbl 0191.38203号
[38] Wang，D.：将多项式系统分解为简单系统。J.符号计算。25（3），295–314（1998），MR MR1615318（99d:68130）·2008年9月13日Zbl ·doi:10.1006/jsco.1997.0177
[39] Wang，D.：消除方法。收录：符号计算的文本和专著。施普林格，维也纳（2001），MR1826878（2002i:13040）
[40] Wang，D.：{\（\epsilon\）}psilon：描述、帮助页面和使用示例（2003），http://www-spiral.lip6.fr/wang/epsilon公司/
[41] Wang，D.：淘汰实践。帝国理工学院出版社，伦敦（2004），《软件工具和应用程序》，附1张CD-ROM（UNIX/LINUX，Windows）。MR2050441（2005a:68001）·doi:10.1142/p318
[42] Wu，W.-T.：数学机械化。摘自：《数学及其应用》，第489卷，Kluwer Academic Publishers Group，Dordrecht（2000），机械几何理论证明，机械几何问题解决和多项式方程解决。MR MR1834540（2003a:01005）·Zbl 0987.68074号
[43] Yap，C.K.：算法代数的基本问题。牛津大学出版社，纽约（2000年），MR MR1740761（2000米：12014）·Zbl 0999.68261号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。