安娜·罗梅罗;弗朗西斯·谢尔盖拉特 用于计算迭代循环空间的有效同伦的组合工具。 (英语) 兹比尔1311.55001 离散计算。地理。 53,第1期,第1-15页(2015年). 本文描述了“摇篮定理”,该定理给出了一个算法,将单纯形复数(Delta^{p}\times\Delta^}q})折叠到“摇篮”(C^{p,q}:=(Delta_{p}_times\Lambda^{q},)cup(\Lambda ^{p{times\Delta^\subset\Delta^{q}\)由除\(部分{0}\)面之外的\(Delta^})的所有面组成。作者简述了如何使用该结果计算迭代循环空间的有效同伦。此计算的详细信息可以在单独的预打印中找到,网址为http://www.unirioja.es/cu/anromero/actcehilsev.pdf.审核人:乔纳森·霍奇森(斯沃思摩尔) 引用于三文件 MSC公司: 55-04 代数拓扑问题的软件、源代码等 第57季度99 公共图书馆学 关键词:摇篮定理;离散向量场;有效同伦 软件:肯佐 PDF格式BibTeX公司 XML格式引用 \textit{A.Romero}和\textit{F.Sergeraert},离散计算。地理。53,编号1,1--15(2015;Zbl 1311.55001) 全文: 内政部 参考文献: [1] May,J.P.:代数拓扑中的单纯形对象。Van Nostrand数学研究。芝加哥大学出版社,芝加哥(1967)·Zbl 0769.55001号 [2] Goerss,P.G.,Jardine,J.F.:简单同伦理论。《数学进展》,第174卷。Birkhäuser,巴塞尔(1999)·Zbl 0949.55001号 ·doi:10.1007/978-3-0348-8707-6 [3] Dousson,X.,Rubio,J.,Sergeraert,F.,Siret,Y.:Kenzo计划。傅里叶研究所,格勒诺布尔(1999)。http://www-fourier.ujf-grenoble.fr/中士/健佐/。2014年12月访问 [4] Bousfield,A.K.,Kan,D.M.:环中系数空间的同伦谱序列。拓扑11,79-106(1972)·Zbl 0202.22803号 ·doi:10.1016/0040-9383(72)90024-9 [5] Real,P.:计算同伦群的算法。数学。计算。模拟。42, 461-465 (1996) ·Zbl 1037.55502号 ·doi:10.1016/S0378-4754(96)00021-3 [6] Bousfield,A.K.,Kan,D.M.:同伦极限,完备性和局部化。《数学讲义》,第304卷。柏林施普林格(1972)·Zbl 0259.55004号 ·数字对象标识代码:10.1007/978-3-540-38117-4 [7] Romero,A.,Sergeraert,F.:腓骨的有效同伦。申请。代数工程通讯。计算。23, 85-100 (2012) ·Zbl 1253.55011号 ·doi:10.1007/s00200-012-0168-6 [8] Forman,R.:细胞复合体的莫尔斯理论。高级数学。134, 90-145 (1998) ·Zbl 0896.57023号 ·doi:10.1006/aima.1997.1650 [9] Romero,A.,Sergeraert,F.:理论化之前的编程,案例研究。在:符号和代数计算国际研讨会,ISSAC 2012,第289-296页。ACM,纽约(2012)·Zbl 1323.68624号 [10] Romero,A.,Sergeraert,F.:离散向量场和基本代数拓扑(2010)。预打印arXiv:1005.5685v1 [11] Rubio,J.,Sergeraert,F.:组合同伦理论导论(2008)。http://www-fourier.ujf-grenoble.fr/警长/论文/Trieste-Leach-Notes.pdf [12] Romero,A.,Sergeraert,F.:计算迭代循环空间有效同伦的组合工具,扩展版(2014)。预打印http://www.unirioja.es/cu/anromero/actcehilsev.pdf。2014年12月访问·Zbl 1311.55001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。