Cпектр различных операторов на многообразиях изучался многими математиками. В общем случае эта задача достаточно сложна. Поэтому приходится накладывать ограничения на класс рассматриваемых многообразий или их размерность. Если размерность многообразия конечна, то представляется возможным применение систем аналитических вычислений. В настоящей работе с помощью пакета Maple проведено исследование спектра оператора кривизны групп Ли размерности 3 и 4 с конформно полуплоскими левоинвариантными римановыми метриками.

Ключевые слова: пакеты символьных вычислений, алгебры Ли, оператор кривизны.