Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal

Journal of Symbolic Computation

Volumn 31, Issue 6, 2001, Pages 631-649

  Bouziane, Driss ^a   Kandri Rody, Abdelilah ^a   Maârouf, Hamid ^a  

^a FACULTÉ DES SCIENCES SEMLALIA   (Morocco)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346789752     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1999.1562     Document Type: Article

References (27)

1. Boulier, F. (1994). Etude et implantation de quelques algorithmes en algèbre différentielle. Thèse de doctorat L.I.T.L, LILLE.
2. Boulier, F., Lazard, D., Ollivier, F., Petitot, M. (1995). Representation for the radical of a finitely generated differential ideal. In Proceedings of ISSA C'95.
3. Buchberger, B. (1985). An algorithm method in polynomial ideal theory. In Bose, N. K. ed., Recent Trends Multidimentional Systems Theory, Dordrecht, Reidel.
4. Carra Ferro, G. (1988). Some remarks on the differential dimension, In Sixth International Conference AAECC-6, Rome, Italy, July 1988.
5. Diop, S. (1991). Elimination in control theory. Math. Control Signals Syst., 4, 17-32.
6. Diop, S. (1992). Differential algebraic decision methods and some applications to system theory. Theor. Comput. Sci., 98, 137-161.
7. Diop, S. (1993). Closedness of morphisms of differential algebraic sets. Applications to system theory. Forum Math., 5, 33-47.
8. Giusti, M. (1988). Combinatorial dimension theory of algebraic varieties. Special issue of J. Symb. Comput., 6, 249-265.
9. Kalkbrener, M. (1991). Three contributions to elimination theory. Ph.D Thesis, Research Institute for symbolic computation, University of Linz, Austria.
10. Kalkbrener, M. (1993). A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput., 15, 143-167.
11. Kandri Rody, A. (1985). Dimension of ideals in polynomial rings. In Avenhaus, J., Madlener, K. eds, Proc. Combinatorial Algorithm Structures, Otzenhausen, 1985. Kaiserslautern, Fachbereich Informatik.
12. Kandri Rody, A., Maârouf, H., Ssafini, M. (1998). Triviality and dimension of a system of algebraic differential equations. J. Autom. Reasoning, 20, 365-385.
13. Kapur, D., Lakshman, Y. N. Elimination methods: an introduction. In Kapur, D., Mundy, J. eds, Geometric Reasoning, A Brud Ford Book, Cambridge, MA, MIT.
14. Kolchin, E. R. (1973). Differential Algebra and Algebraic Groups, New York, Academic Press.
15. Kredel, H., Weispfenning, V. (1988). Computing dimension and independent sets for polynomial ideals. J. Symb. Comput., 6, 231-248.
16. König, (1950). Theorie der Endlichen und Unendlichen Graphen, New York, Chelsea Publ. Co.
17. Lazard, D. (1992). Solving zero-dimensional algebraic systems. J. Symb. Comput., 13, 117-131.
18. Lazard, D. (1991). A new method for solving systems of positive dimension. Discrete Appl. Math., 33, 147-160. Amsterdam, North-Holland.
19. Mishra, B. (1993). Algorithmic Algebra, New York, Springer-Verlag.
20. Ollivier, F. (1990). 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, École Polytechnique.
21. Ritt, J. F. (1950). Differential algebra, volume 33, New York, AMS Colloquim. Publications.
22. Rosenfeld, A. (1959). Specialization in differential algebra. Trans. Am. Math. Soc., 90, 394-407.
23. Seidenberg, A. (1956). An elimination theory for differential algebra. Univ. California Publications in Math. (N.S), 3, 31-65.
24. Wang, D. (1995). A method for proving theorems in differential geometry and mechanics. J. Universal Comput. Sci., 1, 658-673.
25. Wang, D. (1996). An elimination method for differential polynomial systems I. Syst. Sci. Math. Sci., 9, 216-228.
26. Wu, W. (1987). A constructive theory of differential algebraic geometry. In Differential Geometry and Differential Equations, LNM 1255, pp. 173-189. Springer.
27. Wu, W. (1989). On the foundation of algebraic differential geometry. Syst. Sci. Math. Sci., 2, 289-312.