Алгоритм распознавания трехмерной сферы (по А. Томпсон)

Вопрос о существовании алгоритма, выясняющего гомеоморфность данных трехмерных многообразий, является ключевым вопросом маломерной топологии. В статье изложен принадлежащий А. Томпсон алгоритм распознавания стандартной трехмерной сферы. При этом использование разбиений на ручки вместо триангуляций сильно упрощает как формулировку, так и доказательство алгоритма.
Библиография: 10 названий.