On “Good” Bases of Algebraico-Differential Ideals
Wen-tsün Wu · Birkhäuser Basel eBooks · 2005
The characteristic set method of polynomial equations-solving is naturally extended to the differential case, which gives rise to an algorithmic method for solving arbitrary systems of algebrico-differential equations. The existence of “good bases” of the associated algebrico-differential ideals is also studied in this way. As an illustration of the method, the Devil problem of Pommaret is studied in detail.