Вопросы теории Математические методы ПРИКЛАДНАЯ ИНФОРМАТИКА № 1 (37) 2012 И. А. Шилин, канд. физ.-мат. наук, доцент Московского государственного гуманитарного университета им. <...> Китюков, студент Московского авиационного института А. А. Александров, аспирант Московского государственного гуманитарного университета им. <...> М. А. Шолохова Вычисление групп гомоморфизмов и проверка гомоморфной устойчивости пар конечных групп 1 При решении ряда научных задач, относящихся к достаточно узким разделам высшей математики, приобретает особую актуальность разработка специализированного программного инструментария силами самого исследователя. <...> Это тем более оправдано в тех случаях, когда аналитическое решение задачи неизвестно, а рассмотрение частных случаев предполагает перебор большого количества комбинаций данных. <...> Однако основная сфера их применения относится к области математического анализа, теории дифференциальных уравнений, некоторым разделам линейной алгебры и разделам математики, смежным с указанными. <...> Напротив, в более абстрактных разделах, таких, например, как общая алгебра или топология, популярные вычислительные пакеты не предоставляют исследователю достаточно широкого инструментального диапазона. <...> Так, для такого важного раздела общей алгебры, как теория групп, в настоящее время существует несколько мощных пакетов: GAP, Magma, SAGE, CAYLEY, FGB. <...> В них имеются специальные встроенные функции, с помощью которых можно исследовать конкретную группу, но все группы задаются в терминах подстановок. <...> Вопросы теории Математические методы овременные вычислительные пакеты Maple, Mathematica, DERIVE, MathCAD и др. широко используются подход наряду с плюсами имеет и ряд минусов, о которых рассказывается в статье [6]. <...> Очень часто исследователь, даже при работе с группами относительно малого порядка, вынужден применять свои способности программиста для построения оптимального алгоритма решения задачи: например, в [5] описывается <...>