Il n'existe nulle separation entre les dieux et les hommes;

les uns et les autres se melent parfois sans distinction possible

Proverbes de Muad'Dib (Le Messie de Dune)

Computer Algebra Research and Education

What is Computer Algebra Wikipedia

What can Computer Algebra do

Any calculation that can be done by hand can be calculated by Computer Algebra. For example:
  1. expansion and ordering of polynomials and rational functions;
  2. substitutions and pattern matching in a wide variety of forms;
  3. automatic and user controlled simplification of expressions;
  4. calculations with symbolic matrices;
  5. arbitrary precision integer and real arithmetic;
  6. facilities for defining new functions and extending program syntax;
  7. analytic differentiation and integration;
  8. factorization of polynomials;
  9. facilities for the solution of a variety of algebraic equations;
  10. facilities for the output of expressions in a variety of formats;
  11. facilities for generating optimized numerical programs from symbolic input;
  12. calculations with a wide variety of special functions;
  13. Dirac matrix calculations of interest to high energy physicists.
In my research I had used the properties above in my reseach papars using REDUCE and packages EXCALC, HEPHYS.

REDUCE

Reduce is created by Antony Hearn. More information can be get from the following sites.