Title | Computing differential characteristic sets by change of ordering |
Author(s) | Boulier, Lemaire, Marc Moreno Maza |
Type | Article in Journal |
Abstract | 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. |
Keywords | Differential algebra, Ranking, PARDI, Characteristic sets |
ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S0747717109001485 |
Language | English |
Journal | Journal of Symbolic Computation |
Volume | 45 |
Number | 1 |
Pages | 124 - 149 |
Year | 2010 |
Edition | 0 |
Translation |
No |
Refereed |
No |