论文信息 - An algorithm for the recognition of 3-spheres (according to Thompson)

An algorithm for the recognition of 3-spheres (according to Thompson)

The question of the existence of an algorithm for determining whether given 3-manifolds are homeomorphic is a key question of low-dimensional topology. An algorithm due to A. Thompson for the recognition of the standard 3-sphere is presented. The use of handle decomposition instead of triangulation greatly simplifies both the formulation and the proof of the algorithm.

Sergei Matveev | S. Matveev

[1] Horst Schubert,et al. Bestimmung der Primfaktorzerlegung von Verkettungen , 1961 .

[2] A. Fomenko,et al. THE PROBLEM OF DISCRIMINATING ALGORITHMICALLY THE STANDARD THREE-DIMENSIONAL SPHERE , 1974 .

[3] W. Haken. Theorie der Normalflächen , 1961 .

[4] David Gabai,et al. Foliations and the topology of 3-manifolds , 1987 .

[5] S. Gindikin,et al. Izrail' Moiseevich Gel'fand: the Work of I. M. GEL'FAND on Functional Analysis, Algebra, and Topology , 1974 .

[6] Ulrich Oertel,et al. An algorithm to decide if a 3-manifold is a Haken manifold , 1984 .

[7] Moto-O. Takahashi,et al. An algorithm for recognizing $S\sp3$ in 3-manifolds with Heegaard splittings of genus two , 1980 .

[8] Joan S. Birman,et al. The homeomorphism problem for $S^3$ , 1973 .