Symbolic Computation or Computater Algebra can be defined as computation
with symbols representing mathematical objects.
Computer Algebra Systems allows as to do programming in symbolic environment,
e.g., Mathematica,
Maple, Macsyma, Axiom, Reduce, etc.
My main research interest is to develop a new way to compute exact complex µ or .