Computer algebra systems

REDUCE, AXIOM, GAP, FORM
Packages of computer algebra systems of general purpose, which have extended capabilities for use in physics.

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

To run on a farm, you need to configure the environment settings:
lxpub01: ~>. /afs/.jinr.ru/symbolic/symbolic.env

Documentation for the system, user manuals (pdf format)
at the interactive LIT farm are located here:

/afs/.jinr.ru/symbolic/doc

Example REDUCE session:

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;