塞巴斯蒂安·波苏尔 环局部化上的线性系统。 （英语） Zbl 1420.13021号 架构（architecture）。数学。 111，第1期，23-32（2018）. 摘要：我们描述了在乘法闭子集（S\）上交换环（R\）的局部化上求解线性系统的一种方法，该方法在以下假设下工作：环（R~）是相干的，即，我们可以计算（R_）上矩阵行合集的有限生成集，还有一种算法，它决定任何给定的有限生成理想（I substeq R）在（S I）中是否存在元素（R），在肯定的情况下，将（R）计算为生成元（I）的具体线性组合。 引用于4文件 MSC公司： 13B30型 分数环与交换环的局部化 13第20页 计算同调代数 68瓦30 符号计算和代数计算 关键词：可计算环;相干强离散环;线性系统;本地化 软件：CAP模块表示;通用形态ForCAP;CAP的线性代数;帽;奥尔加.lib;单一;霍马格 PDF格式BibTeX公司 XML格式引用 \textit{S.Posur}，拱门。数学。111，编号1，23-32（2018；Zbl 1420.13021） 全文： 内政部 arXiv公司 参考文献： [1] W.W.Adams和P.Loustauna《Gröbner Bases简介》，数学研究生课程，美国数学学会，普罗维登斯，RI，1994年·Zbl 0803.13015号 ·doi:10.1090/gsm/003 [2] 巴拉卡特，M；Lange Hegermann，M，算法同调代数的公理设置和定位的替代方法，代数应用杂志。，10, 269-293, (2011) ·Zbl 1227.18009号 ·doi:10.1142/S0219498811004562 [3] M.Barakat和M.Lange-Hegermann，Gabriel态射和Serre商的可计算性及其在相干槽轮中的应用，arXiv:1409.2028·兹比尔1305.18054 [4] T.Coquand、A.Mörtberg和V.Siles，《类型理论中的相干环和强离散环》，in:Certified Programs and Proofs，C。Hawblitzel和D.Miller。（编辑），273-288，计算机科学课堂讲稿，第7679卷。施普林格，柏林，海德堡，2012年·Zbl 1383.03016号 [5] G.Greuel和G.Pfister《交换代数的奇异导论》，由Olaf Bachmann、Christoph Lossen和Hans Schönemann撰写，Springer-Verlag，2002年·Zbl 1023.13001号 [6] S.Gutsche，Ø。斯科亚特·特哈根和S.PosurCAP项目-类别、算法、编程(http://homalg-project.github.io/CAP_project), 2013-2017. [7] J.霍夫曼和V.列万多夫斯基《矿石定位中算术的建设性方法》，摘自：ISSAC’17-2017年ACM符号和代数计算国际研讨会论文集，197-204年，ACM，纽约，2017年·Zbl 1459.16031号 [8] homalg项目作者，homalg项目-算法同源代数(http://homalg-project.github.io), 2003-2017. ·Zbl 1227.18009号 [9] T。莫拉，Laqueste del Saint\（{{\rm Gr}}_{a}（AL）\）：局部代数的计算方法，离散应用。数学。33（1991），161-190，《应用代数、代数算法和纠错码》（图卢兹，1989）·Zbl 0752.13016号 [10] S.Posur公司《Freyd分类的建设性方法》，arXiv:1712.03492。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。