1. Apel, J., Hemmecke, R.: Detecting unnecessary reductions in an involutive basis computation. J. Symbolic Comput. 40(4-5), 1131–1149 (2005), MR MR2169107 (2006j:13026)
2. Buium, A., Cassidy, P.J.: Differential algebraic geometry and differential algebraic groups: from algebraic differential equations to diophantine geometry. In: [Kol99], pp. 567–636 (1999)
3. Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The MAPLE Package Janet: I. Polynomial Systems. II. Linear Partial Differential Equations. In: Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing, Passau, Germany, pp. 31–54 (2003),
http://wwwb.math.rwth-aachen.de/Janet
4. Boulier, F., Hubert, E.: DIFFALG: description, help pages and examples of use, Symbolic Computation Group, University of Waterloo, Ontario, Canada (1996-2004),
http://www-sop.inria.fr/members/Evelyne.Hubert/diffalg/
5. Bouziane, D., Rody, A.K., Maârouf, H.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symbolic Comput. 31(6), 631–649 (2001), MR MR1834002 (2002c:12007)