L'algèbre différentielle est une généralisation de l'algèbre commutative destinée à l'étude des systèmes d'équations différentielles ordinaires ou aux dérivées partielles. Dans ce chapitre, nous présentons un algorithme de « résolution » de systèmes d'équations différentielles polynomiales, nommé Rosenfeld-Gröbner. Il est implanté dans le paquetage diffalg de MAPLE V.