С. И. Адян, В. Г. Дурнев, “Алгоритмические проблемы для групп и полугрупп”, УМН, 55:2(332) (2000), 3–94 ; S. I. Adian, V. G. Durnev, “Decision problems for groups and semigroups”, Russian Math. Surveys, 55:2 (2000), 207–296
Matveev, SV, “Computer classification of 3-manifolds”, Russian Journal of Mathematical Physics, 7:3 (2000), 319
Stocking M., “Almost Normal Surfaces in 3-Manifolds”, Trans. Am. Math. Soc., 352:1 (2000), 171–207
Ladegaillerie Y., “Complexes Galoisiens”, Trans. Am. Math. Soc., 352:4 (2000), 1723–1741
С. В. Матвеев, “Алгоритмическая классификация трехмерных многообразий. Проблемы и результаты”, Солитоны, геометрия, топология — на перекрестках, Сборник статей. К 60-летию со дня рождения академика Сергея Петровича Новикова, Труды МИАН, 225, Наука, МАИК «Наука/Интерпериодика», М., 1999, 264–275 ; S. V. Matveev, “Algorithmic Classification of 3-Manifolds: Problems and Results”, Proc. Steklov Inst. Math., 225 (1999), 250–260
Hass J., “Algorithms for Recognizing Knots and 3-Manifolds”, Chaos Solitons Fractals, 9:4-5 (1998), 569–581
Thompson A., “Algorithmic Recognition of 3-Manifolds”, Bull. Amer. Math. Soc., 35:1 (1998), 57–66
С. В. Матвеев, “Классификация достаточно больших трехмерных многообразий”, УМН, 52:5(317) (1997), 147–174 ; S. V. Matveev, “Classification of sufficiently large three-dimensional manifolds”, Russian Math. Surveys, 52:5 (1997), 1029–1055