Реализация геометрической алгебры в системах символьных вычислений

Для описания специализированных математических структур предпочтительнее использовать более специальный формализм вместо более общего. Однако, зачастую в этом вопросе превалирует традиция. Например, для описания вращений в трехмерном пространстве, или например, для описания движения в пространствах Гилилея или Минковского обычно используют векторный (или тензорный) формализм взамен более специализированных формализмов представлений алгебры Клиффорда. Этот подход является исторически обусловленным. Применение специализированных формализмов (таких как спиноры или кватернионы) не стало научным мейнстримом, однако заняло свое место при решении практических и инженерных задач. Следует также отметить, что все операции в теоретических задачах проводятся именно с формульными данными. А манипуляции с многомерными геометрическими объектами подразумевают большое количество операций с одинаковыми объектами. И именно в таких задачах сильна компьютерная алгебра. В данной работе авторы хотят обратить внимание на один из таких специализированных формализмов, формализм геометрической алгебры. А именно, предлагается рассмотреть варианты реализации геометрической алгебры в рамках парадигмы символьных вычислений.