×
托马斯·沃尔夫；埃伯哈德·施吕费尔；肯尼思·韦伯斯特

在可积非交换Laurent常微分方程背景下求解大型线性代数系统。 （英语） Zbl 1256.65074号

程序。计算。柔和。 38，第2期，73-83（2012）.
摘要：本文报道了一个用于求解有理系数线性代数系统的计算机代数程序LSSS（Linear Selective Systems Solver）。对于具有许多变量取值为零的解决方案的大型稀疏系统，该程序尤其有效。该程序用于研究最近由M.Kontsevich先生[私人通信]。计算出的对称性证实了早先为这个系统找到的Lax对可以生成所有至少高达14次的第一次积分。

引用于1文件

MSC公司：

65升05 常微分方程初值问题的数值方法
34A34飞机 非线性常微分方程和系统
65层20 超定系统伪逆的数值解
65层50 稀疏矩阵的计算方法
65平方英尺 线性系统和矩阵反演的直接数值方法
68瓦30 符号计算和代数计算
65日元 数值算法的封装方法

关键词：

数值示例；超定方程组；计算机代数程序；线性选择系统解算器；线性代数系统；有理系数；大型稀疏系统；对称性调查；非阿贝尔洛朗常微分方程；松紧带；第一积分

软件：

LinBox（接线盒）；裂纹；减少；LSSS公司；streamsolve.red河；枫树
PDF格式BibTeX公司 XML格式引用
\textit{T.Wolf}等人，《程序》。计算。柔和。38，第2号，73--83（2012；Zbl 1256.65074）
全文： 内政部 arXiv公司

参考文献：

[1] Kontsevich，M.，私人通信。
[2] Kontsevich，M.，《非交换身份》，德国波恩马普研究所2011年Arbeitstagung开幕式http://www.mpim-bonn.mpg.de/webfm-send/146 (2011).
[3] Olver，P.J.和Sokolov，V.V.，《结合代数上的可积演化方程》，数学通讯。物理。，1998年，第193卷，第2期，第245-268页·Zbl 0908.35124号 ·doi:10.1007/s002200050328
[4] Mikhailov，A.V.和Sokolov，V.V.，《结合代数上的可积常微分方程》，《数学物理通讯》。，2000年，第211卷，第231-251页·Zbl 0956.37040号 ·doi:10.1007/s002200050810
[5] Efimovskaya，O.V.，《结合代数上的可积三次常微分方程》，Fundamentalnaya i Prikladnaya Matematika，2002年，第8卷，第3期，第705-720页·Zbl 1034.34046号
[6] Wolf，T.和Efimovskaya，O.，《关于Kontsevich非阿贝尔ODE系统的可积性》，已在Lett中接受出版。数学方面。物理。，9页，DOI:10.1007/s11005-011-0527-4和http://lie.math.brocku.ca/twolf/papers/EfWNew11.pdf (2011).
[7] Olver，P.J.，李群在微分方程中的应用，数学研究生教材，纽约：Springer-Verlag，1993年，第107卷，第2版·Zbl 0785.58003号
[8] REDUCE–便携式通用计算机代数系统，免费下载网站：http://reducealgebra.sourceforge.net , 2009.
[9] 求解REDUCE中线性代数系统的程序streamsolve.red（2007），http://lie.math.brocku.ca/papers/TsWo2007/ .
[10] 《求解REDUCE中线性代数选择系统的LSSS.red程序》（2011），http://lie.math.brocku.ca/papers/LSS/ .
[11] Neun，W.，《计算机代数系统通过扩展减少20M标识符：http://www.zib.de/Symbolik/reduce/twentyM.zip .
[12] Tsarev，S.P.和Wolf，T.，《三维可积标量离散方程的分类》，Lett。数学方面。物理。，DOI:10.1007/s11005-008-0230-2，另见arXiv:0706.2464（2008）·Zbl 1153.37432号
[13] Wolf，T.，《CRACK在可积系统分类中的应用》，CRM会议录和讲稿，2004年，第37卷，第283–300页·Zbl 1073.37081号 ·doi:10.1090/crmp/037/24
[14] Gonnet，G.H.和Monagan，M.B.，《代数方程求解系统或软件与数学之间的接口》，研究报告CS-89-13，滑铁卢大学（1989），http://www.cs.uwaterloo.ca/research/tr/1989/cs-89-13.pdf .
[15] Pearce，R.，解Maple中的稀疏线性系统，http://www.mapleprimes.com/posts/41191-Solving-Spars-Linear-Systems-In-Maple，源代码位于：网址：http://www.cecm.sfu.ca/rpearcea/sge/sge.mpl（2007）。
[16] LinBox项目：精确计算线性代数，http://www.linalg.org/ .
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。