Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments