Средства компьютерной алгебры для геометризации уравнений Максвелла

При расчете оптических приборов в рамках геометризованной теории Максвелла используются широко известные формализмы общей теории относительности и дифференциальной геометрии. В частности, для подобных вычислений требуется знать аналитический вид уравнений геодезических. Что приводит к необходимости вычислять большое количество однообразных математических выражений. Одним из предназначений средств компьютерной алгебры является облегчение работы исследователя путем автоматизации громоздких символьных расчетов. Таким образом, использование систем компьютерной алгебры представляется вполне очевидным действием. В работе рассмотрено несколько свободных реализаций символьных вычислений для аппарата общей теории относительности. В конце статьи приводится практический пример символьных расчетов для геометризованной теории Максвелла.