Авторы

Вычисление групп гомоморфизмов и проверка гомоморфной устойчивости пар конечных групп

При решении ряда научных задач, относящихся к достаточно узким разделам высшей математики, приобретает особую актуальность разработка специализированного программного инструментария силами самого исследователя. Это тем более оправдано в тех случаях, когда аналитическое решение задачи неизвестно, а рассмотрение частных случаев предполагает перебор большого количества комбинаций данных.

Программный способ вычисления топологий и исследования их свойств

Предложен алгоритм вычисления топологий конечного множества и их исследования: проверки T0-аксиомы отделимости и связности, определения связности подмножеств, вычисления связных компонент, баз и гомеоморфизмов топологического пространства в себя. Представлено разработанное авторами программное обеспечение, реализующее предложенные модели.