费拉科夫斯克，M。;沃克·奈克，L。 两个给定的映射是同宗的吗？算法观点。 （英语） Zbl 1436.55020号 找到。计算。数学。 20，第2期，311-330（2020年）. 小结：本文提出了两种算法。第一个决定给定单形映射（f，g:X\rightarrow Y\）之间存在一个点同伦，第二个从一个悬停计算点同伦类映射的群（[\Sigma X，Y]^*\）；在这两种情况下，假设目标（Y）是简单连接的。更一般地说，这些算法是相对于\（A\substeqX\）工作的。 引用于7文件 MSC公司： 2005年第55季度 同伦群，一般；同伦类集 55页40 悬架 关键词：同伦;暂停;多环群;算法 软件：多环 PDF格式BibTeX公司 XML格式引用 \textit{M.菲拉科夫斯克}和\textit{L.Vokínek}，已找到。计算。数学。20，编号2，311--330（2020；Zbl 1436.55020） 全文： 内政部 arXiv公司 参考文献： [1] Brown，EH，Postnikov复形的有限可计算性，Ann.Math。，65，1-20（1957年）·Zbl 0077.16804号 [2] M.Cadek、M.Král、J.Matoušek、F.Sergeraert、l.Vokínek、U.Wagner。将所有贴图计算到一个球体中。J.ACM 61（2014），17:1-44·Zbl 1295.68196号 [3] M.Cadek、M.Král、J.Matoušek、l.Vokínek、U.Wagner。连续映射的可扩展性是不可判定的。离散。计算。地理。51 (2014), 24-66. ·Zbl 1358.68297号 [4] M.Cadek、M.Král、J.Matoušek、l.Vokínek、U.Wagner。固定维同伦群和Postnikov系统的多项式时间计算。SIAM J.计算。43 (2014), 1728-1780. ·Zbl 1320.68099号 [5] 乔亚迪克，M。；克查尔，M。；Vokřínek，L.，提升扩展问题的算法可解性，离散。计算。地理。，57, 915-965 (2017) ·Zbl 1373.55018号 [6] B.Eick、M.Horn、W.Nickel。GAP中的多环封装手册。https://www.gap-system.org/手册/pk/polycyclic-2.11/doc/manual.pdf, (2013). 2019年5月6日查阅。 [7] V.Gebhardt。《岩浆手册》，多环类。https://magma.maths.usyd.edu.au/magma/handbook/pycyclic_groups。2019年5月6日查阅。 [8] Novikov，PS，论群论中单词问题的算法不可解性（俄语），Trudy Mat.Inst.im。斯特科洛娃，44岁，1-143岁（1955年） [9] May，JP，代数拓扑中的单纯形对象（1992），伊利诺伊州芝加哥：芝加哥大学出版社，伊利诺伊州芝加哥·Zbl 0769.55001号 [10] J.Rubio，F.Sergeraert。构造同调代数及其应用。预印本，arXiv:1208.38162012。2006年为热那瓦大学MAP暑期学校撰写。 [11] Sims，CC，《有限呈现群的计算》（1994），剑桥：剑桥大学出版社，剑桥·Zbl 0828.20001 [12] A.斯托约翰。计算整数矩阵Smith正规形的近最优算法。1996年符号和代数计算国际研讨会论文集，ACM，第267-274页·Zbl 0914.65043号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。