REDUCE , AXIOM, GAP, FORM
пакеты систем компьютерной алгебры общего назначения, имеющие расширенные возможности для применения в физике.

Официальный cайты :

REDUCE: http://reduce-algebra.com
AXIOM: http://portal.axiom-developer.org
GAP: http://www.gap-system.org
FORM: http://www.nikhef.nl/~form/

Для работы на ферме необходимо выполнить настройку параметров окружения:

lxpub01:~ > . /afs/.jinr.ru/symbolic/symbolic.env

Документация к системе, руководства для пользователей
(в формате pdf) интерактивной ферме ЛИТ находятся здесь:

/afs/.jinr.ru/symbolic/doc

Пример REDUCE сессии :

lxpub01:~ > reduce
Loading image file :/afs/.jinr.ru/symbolic/reduce/3.8_64/lisp/psl/linux/red/reduce.img
REDUCE 3.8, 15-Apr-2004, patched to 2-Aug-2008 …
1: (a+b)^3;
3 2 2 3
a + 3*a *b + 3*a*b + b
2: quit;