Алгоритмические и компьютерные методы в трёхмерной топологии