Grigoriev, DimaDimaGrigorievSchwarz, FritzFritzSchwarz2022-03-122022-03-122015https://publica.fraunhofer.de/handle/publica/38987210.1007/978-3-319-24021-3_12A differential polynomial G is called a divisor of a differential polynomial F if any solution of the differential equation G = 0 is a solution of the equation F = 0. We design an algorithm which for a class of quasi-linear partial differential polynomials of order k + 1 finds its quasi-linear divisors of order k.en005006518conference paper