An algorithm computing homotopy groups. (English) Zbl 1037.55502
Summary: An algorithm computing homotopy groups of a reduced simplicial set with effective homology is described using the Whitehead tower method.
MSC:
| 55Q05 | Homotopy groups, general; sets of homotopy classes |
| 55R20 | Spectral sequences and homology of fiber spaces in algebraic topology |
References:
| [1] | Jr., E. H. Brown: Finite computability of postnikov complexes. Ann. of math. 65, 1-20 (1957) · Zbl 0077.16804 |
| [2] | Cartan, H.: Algèbres d’eilenberg-maclane. Euvres (1979) |
| [3] | Gabriel, P.; Zisman, M.: Calculus of fractions and homotopy theory. Ergebnisse der Mathematik 35 (1967) · Zbl 0186.56802 |
| [4] | Kan, D. M.: A combinatorial definition of homotopy groups. Comment. math. Helv. 67, 282-312 (1958) · Zbl 0091.36901 |
| [5] | Rubio, J.; Sergeraert, E.: A program computing the homology groups of loop spaces. SIGSAM bulletin 25, 20-24 (1991) |
| [6] | Sergeraert, F.: Homologic effective. Comptes-rendus hebdomadaires des séances de l’académie des sciences, Paris, série A 304, 319-321 (1987) · Zbl 0614.55011 |
| [7] | F. Sergeraert, The computability problem in algebraic topology, Adv. in Math., To appear. · Zbl 0823.55011 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
