François Boulier. Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra). PhD thesis, Lille University of Science and Technology, France, 1994. [doi]
Abstract is missing.