Вычислительная теория групп

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Вычислительная теория групп — область науки на стыке математики и информатики[1], изучающая группы с помощью вычислительных машин. Она связана с проектированием, анализом алгоритмов и структур данных для вычисления различных характеристик (чаще всего — конечных) групп. Область интересна исследованием важных с различных точек зрения групп, данные о которых невозможно получить вычислениями вручную.

Направления исследований[править | править вики-текст]

Основные направления исследований связаны с алгоритмами для:[2]

Важные алгоритмы[править | править вики-текст]

Важные алгоритмы в вычислительной теории групп включают:

Реализации алгоритмов вычислительной теории групп доступны, в частности, в двух известных системах компьютерной алгебры, GAP и MAGMA.

Достижения[править | править вики-текст]

Некоторые достижения, непосредственно связанные с вычислительной теорией групп:

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]

  1. Seress, p. 1.
  2. Там же.
  3. Sims.
  4. Seress.