Algorithms in algebraic topology and homological algebra: the problem of the complexity

В статье анализируется вычислительная сложность и обсуждается символьная реализация некоторых классических задач алгебраической топологии и гомологической алгебры. Представлены алгоритмы для символьного вычисления гомологий коммутативных градуированных алгебр, гомологий пространств Эйленберга–Маклейна и комбинаторный алгоритм вычисления квадратов Стинрода. Библ. – 54 назв.