Symbolic computation of differential equivalences

Symbolic computation of differential equivalences