Symbolic computation of differential equivalences