Symbolic computation - Encarnacao,J