Обчислювальна теорія груп

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

Напрями досліджень

Основні напрямки досліджень пов'язані з алгоритмами для[1]:

Важливі алгоритми

До важливих алгоритмів обчислювальної теорії груп належать:

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

Досягнення

Деякі досягнення, безпосередньо пов'язані з обчислювальною теорією груп:

Див. також

Примітки

  1. а б Seress, p. 1.
  2. Sims.
  3. Seress.

Література

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya