We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different languages and has been applied within various software and projects. It permitted to solve formerly unsolved problems.
['François Boulier', 'François Lemaire', 'Marc Moreno Maza']
Computing differential characteristic sets by change of ordering