Соединение вычислительных возможностей современной компьютерной техники с вычислительными задачами абстрактных разделов математики привели к появлению таких разделов науки, как вычислительная теория групп и вычислительная топология. Эффективные алгоритмы, разрабатываемые в этих разделах, позволяют прийти к результатам, которые невозможно получить вручную [1–3].