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