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

Книга адресована широкому кругу специалистов в области математики и тех ее приложений, где появляются трехмерные многообразия. Тщательность изложения и обилие иллюстраций делают книгу доступной студентам математических факультетов. Это и многое другое вы найдете в книге Алгоритмическая топология и классификация трехмерных многообразий (С. В. Матвеев)