Bibliography

Boulier and Lazard and Ollivier and Petitot (1995)

Boulier, F., Lazard, D., Ollivier F., Petitot M. (1995). Representation for the radical of a finitely generated differential ideal. Proc. of ISSAC'95. New York: ACM Press, 158-166

Boulier (1994)

Boulier, F. (1994). Etude et Implantation de Quelques Algorithmes en algebre differentielle. Ph. D. Thesis. Universite de Lille

Boulier (1996)

Boulier, F. (1996). Some improvements of a lemma of Rosenfeld. Preprint

Buchberger (1976)

Buchberger, B. (1976). A theoretical basis for the reduction of polynomials to canonical form. ACM SIGSAM BULL. 10 (3), 19-29

Buchberger (1976)

Buchberger, B. (1976). Some properties of Gröbner bases for polynomial ideals. ACM SIGSAM BULL. 10, 19-24

Carra' Ferro (1987)

Carra' Ferro, G. (1987). Gröbner Bases and Differential Algebra. Lec. Not. in Comp. Sci. 356, 129-140

Carra' Ferro (1997)

Carra' Ferro, G. (1997). A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations. Applicable Algebra in Engineering, Communication and Computing, 539-560

Carra' Ferro (1997)

Carra' Ferro, G. (1997). A Resultant Theory for Ordinary Algebraic Differential Equations. Lect. Notes in Comp. Sci. 1255, 55-65

Diop and Fliess (1991)

Diop, S., Fliess, M. (1991). On nonlinear observability. Proc. of the first Europ. Control Conf. 1991. Paris: Hermes, 152-157

Diop (1991)

Diop, S. (1991). Elimination in control theory. Math. Control Signal Systems 4 , 17-32

Diop (1991)

Diop, S. (1991). Finite morphisms of differential algebraic varieties and elimination theory. Analysis of Controlled Dynamical Systems Proc. of Conference 1990. Birkhauser , 193-200

Diop (1991)

Diop, S. (1991). Elimination in Control Theory. Mathematics of Control, Signal and Systems 4, 17-42

Diop (1992)

Diop, S. (1992). Differential algebraic decision methods and some application to system theory. Theoret. Comp. Sci. 98, 137-161

Fliess (1989)

Fliess, M. (1989). Automatique et corps differentiels. Forum Math. 1, 227-238

Fliess (1990)

Fliess, M. (1990). Generalized controller canonical forms for linear and nonlinear dynamics. IEEE Trans. Autom. Control 35, 994-1001

Kolchin (1973)

Kolchin, E. (1973). Differential Algebra and Algebraic Groups. New York: Academic Press

Ollivier (1990)

Ollivier, F. (1990). Standard Bases of Differential Ideals. Lec. Not. in Comp. Sci. 508, 304-321

Ritt (1950

Ritt, J.F. (1950). Differential Algebra. New York: AMS Coll. Publ. 33

Wang (1993)

Wang, D.M. (1993). Geometric theorem proving with existing technology. MEDLAR II Deliverable DII.41P.

Weispfenning (1993)

Weispfenning, V. (1993). Differential-Term Orders. Proc. of ISAAC'93 Kiev. New York: ACM Press, 245-253

Wu (1987)

Wu, W.T. (1987). Mechanical Derivation of Newton's Gravitational Laws from Kepler's Laws. Mathematics Mechanization Research Reprints. 1, 53-61

Wu (1989)

Wu, W.T. (1989). On the Foundation of Algebraic Differential Geometry. Mathematics Mechanization Research Reprints. 3, 1-26 Systems Sciences and Mathematical Sciences. 2, 289-312