[1] L. D’Alfonso, G. Jeronimo, G. Massaccesi and P. Solernó,
On the index and the order of quasi-regular implicit systems of
differential equations, Linear Algebra Appl. 430(8-9) (2009),
2102-2122.
[2] L. D’Alfonso, G. Jeronimo and P. Solernó, A linear
algebra approach to the differential index of generic DAE systems,
Appl. Algebra Engrg. Comm. Comput. 19(6) (2008), 441-473.
[3] F. Boulier, D. Lazard, F. Ollivier and M. Petitot, Representation
for the radical of a finitely generated differential ideal, Proc. of
ISSAC (1995), 158-166.
[4] S. Campbell and W. Gear, The index of general nonlinear DAEs,
Numer. Math. 72 (1995), 173-196.
[5] A. Dickenstein, N. Fitchas, M. Giusti and C. Sessa, The membership
problem for unmixed ideals is solvable in single exponential time,
Discr. Appl. Math. 33 (1991), 73-94.
[6] D. Eisenbud, Commutative Algebra with a View Toward Algebraic
Geometry, Springer-Verlag, New York, 2004.
[7] G. Gallo, B. Mishra and F. Ollivier, Some Constructions in Rings
of Differential Polynomials, Proc. of AAECC-9, Lecture Notes in
Computer Science, Springer-Verlag 539 (1991), 171-182.
[8] O. Golubitski, M. Kondratieva, A. Ovchinnikov and A. Szanto, A
bound for orders in differential Nullstellensatz, J. Algebra 322(11)
(2009), 3852-3877.
[9] R. Gustavson, M. Kondratieva and A. Ovchinnikov, New effective
differential Nullstellensatz, Adv. Math. 290 (2016), 1138-1159.
[10] B. A. Lando, Jacobi’s bound for first order difference
equations, Proc. Amer. Math. Soc. 52 (1972), 8-12.
[11] G. Le Vey, Differential Algebraic Equations: A new look at the
index, Rapp. Rech. 2239, INRIA, 1994.
[12] A. Levin, Difference Algebra, Springer-Verlag, New York, 2008.
[13] C. Pantelides, The consistent inicialization of
differential-algebraic equations, Sci. and Stat. Comput. 9(2) (1988),
213-231.
[14] A. Seidenberg, An elimination theory for differential algebra,
Univ. California Publ. Math. (1956), 31-38.
[15] W. Seiler, Indices and solvability of general systems of
differential equations, Comput. Algebra in Scientific Comput., CASC
99, Springer (1999), 365-385.
[16] M. Wibmer, Algebraic Difference Equations, Preprint, 2013.