Computing differential characteristic sets by change of ordering
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. (c) 2009 Elsevier Ltd. All rights reserved.
characteristic sets ranking differential algebra pardi