Triviality and Dimension of a System of Algebraic Differential Equations

Journal of Automated Reasoning

Volumn 20, Issue 3, 1998, Pages 365-385

  Kandri Rody, Abdelilah ^a   Maârouf, Hamid ^a   Ssafini, Mohamed ^a  

^a FACULTÉ DES SCIENCES SEMLALIA   (Morocco)

Author keywords

Autoreduced set; Characteristic set; Differential algebra; Differential dimension; Elimination theory; Invertibility of a polynomial; Parametric set

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; DIFFERENTIAL EQUATIONS; THEOREM PROVING;

DIFFERENTIAL DIMENSION; SOFTWARE PACKAGE MAPLE;

POLYNOMIALS;

EID: 0032099036     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1005821729260     Document Type: Article

References (23)

1. Boulier, F.: Etude et implantation de quelques Algorithmes en algèbre différentielle, Thèse de doctorat, L.I.T.L, LILLE, 1994.
2. Boulier, F., Lazard, D., Ollivier, F. and Petitot, M.: Representation for the radical of a finitely generated differential ideal, Proceedings of ISSAC'95.
3. Bouziane, D., Kandri Rody, A. and Maârouf, H.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, preprint.
4. Buchberger, B.: An algorithm method in polynomial ideal theory in multidimensional systems theory, N. K. Bose (ed.), D. Reidel, 1985, Chap. 6.
5. Carra' Ferro, G.: Some remarks on the differential dimension, in Lecture Notes in Comp. Sci. 357, Springer, New York, 1988, pp. 152-163.
6. Diop, S.: Elimination in control theory, Math. Control Signals Systems 4 (1991), 17-32.
7. Diop, S.: Differential algebraic decision methods and some applications to system theory, Theoretical Computer Science 98 (1992), 137-161.
8. Diop, S.: Closdness of morphisms of differential algebraic sets. Applications to system theory, Forum Math. 5 (1993), 33-47.
9. Giusti, M.: Combinatorial dimension theory of algebraic varieties, Special issue of Journal of Symbolic Computation 6 (1988), 249-265.
10. Kalkbrener, M.: Three contributions to elimination theory, PhD thesis, Research Institute for Symbolic Computation, Univ. Linz, Austria.
11. Kalkbrener, M.: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties, J. Symbolic Computation 15 (1993), 143-167.
12. Kandri Rody, A.: Dimension of ideals in polynomial rings, Proc. Combinatorial Algorithm Structures, J. Avenhaus and K. Madlener (eds), Fachbereich Informatik. Kaiserslautern, 1985.
13. Kapur, D. and Lakshman, Y. N.: Elimination methods: An introduction, Geometric Reasoning, D. Kapur and J. Mundy (eds), MIT Press, Cambridge, Mass.
14. Kolchin, E. R.: Differential Algebra and Algebraic Groups, Academic Press, New York, 1973.
15. Kredel, H. and Weispfenning, V.: Computing dimension and independent sets for polynomial ideals, J. Symbolic Computation 6 (1988), 231-247.
16. König : Theorie der endlichen und unendlichen Graphen, Chelsea Publ. Co., New York, 1950.
17. Lazard, D.: Solving zero-dimensional algebraic sytems, J. Symbolic Computation 13 (1992), 117-131.
18. Lazard, D.: A new method for solving systems of positive dimension, Discrete Applied Mathematics 33 (1991), 147-160.
19. Mishra, B: Algorithmic Algebra, Springer-Verlag, New York, 1993.
20. Ollivier, F.: Le problème de l'identifiabilité structurelle globale, approche théorique, méthodes effectives et bornes de complexité", Thèse de Doctorat, Centre de Mathématiques, Ecole Polytechnique, 1990.
21. Ritt, J. F.: Differential Algebra, AMS Coll. Publ. 33, Amer. Math. Soc., Provident, 1950.
22. Rosenfeld, A.: Specialization in differential algebra, Trans. Amer. Math. Soc. 90 (1959), 394-407.
23. Seidenberg, A.: An elimination theory for differential algebra, Univ. California Publications in Math. (N.S) 3 (1956), 31-65.