菲利普·马尔博斯;塞缪尔·米姆拉姆 项重写系统的同调计算。 (英语) Zbl 1387.68146号 Kesner,Delia(ed.)等人,第一届计算和扣减形式结构国际会议,2016年金融稳定与发展委员会,葡萄牙波尔图,2016年6月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-010-1)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志52,第27条,第17页(2016)。 概述:泛代数中的一个重要问题是通过生成器和关系找到代数理论的表示形式,它们尽可能小。对于给定的理论来说,显示这些生成器的数量和关系的下限是一项困难的任务,因为这需要考虑理论的所有可能的生成器集,并且不存在通用方法。在本文中,我们解释了同调计算如何以系统的方式提供这样的下限,并展示了如何在已知收敛重写系统的理论表示的情况下实际计算这些下限。为了考虑更精细的同伦不变量,我们还引入了理论的相干表示的概念。在某些方面,这项工作将Squier著名的字符串重写系统的同调不变量和同调不变量推广到术语重写系统。有关整个系列,请参见[Zbl 1351.68020号]. 引用于2评论引用于5文件 MSC公司: 2012年第68季度 语法和重写系统 08A70号 泛代数在计算机科学中的应用 18立方厘米 理论(例如代数理论)、结构和语义 关键词:术语重写系统;劳弗尔理论;Tietze等效;分辨率;同源性;会聚呈现;连贯的表述 PDF格式BibTeX公司 XML格式引用 \textit{P.Malbos}和\textit{S.Mimram},LIPIcs——莱布尼茨国际程序。通知。52,第27条,第17页(2016年;Zbl 1387.68146) 全文: 内政部