{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T04:06:45Z","timestamp":1749182805823,"version":"3.41.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1023\/a:1005821729260","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T23:56:21Z","timestamp":1040514981000},"page":"365-385","source":"Crossref","is-referenced-by-count":5,"title":["Triviality and Dimension of a System of Algebraic Differential Equations"],"prefix":"10.1007","volume":"20","author":[{"given":"Abdelilah Kandri","family":"Rody","sequence":"first","affiliation":[]},{"given":"Hamid","family":"Ma\u00e2rouf","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Ssafini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"144608_CR1","unstructured":"Boulier, F.: Etude et implantation de quelques Algorithmes en alg\u00e8bre diff\u00e9rentielle, Th\u00e8se de doctorat, L.I.T.L, LILLE, 1994."},{"key":"144608_CR2","unstructured":"Boulier, F., Lazard, D., Ollivier, F. and Petitot, M.: Representation for the radical of a finitely generated differential ideal, Proceedings of ISSAC'95."},{"key":"144608_CR3","unstructured":"Bouziane, D., Kandri Rody, A. and Ma\u00e2rouf, H.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, preprint."},{"key":"144608_CR4","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: An algorithm method in polynomial ideal theory in multidimensional systems theory, N. K. Bose (ed.), D. Reidel, 1985, Chap. 6.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"144608_CR5","doi-asserted-by":"crossref","unstructured":"Carra\u2019 Ferro, G.: Some remarks on the differential dimension, in Lecture Notes in Comp. Sci. 357, Springer, New York, 1988, pp. 152\u2013163.","DOI":"10.1007\/3-540-51083-4_55"},{"key":"144608_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF02551378","volume":"4","author":"S. Diop","year":"1991","unstructured":"Diop, S.: Elimination in control theory, Math. Control Signals Systems\n4 (1991), 17\u201332.","journal-title":"Math. Control Signals Systems"},{"key":"144608_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0304-3975(92)90384-R","volume":"98","author":"S. Diop","year":"1992","unstructured":"Diop, S.: Differential algebraic decision methods and some applications to system theory, Theoretical Computer Science\n98 (1992), 137\u2013161.","journal-title":"Theoretical Computer Science"},{"key":"144608_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1515\/form.1993.5.33","volume":"5","author":"S. Diop","year":"1993","unstructured":"Diop, S.: Closdness of morphisms of differential algebraic sets. Applications to system theory, Forum Math.\n5 (1993), 33\u201347.","journal-title":"Forum Math."},{"key":"144608_CR9","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0747-7171(88)80046-4","volume":"6","author":"M. Giusti","year":"1988","unstructured":"Giusti, M.: Combinatorial dimension theory of algebraic varieties, Special issue of Journal of Symbolic Computation\n6 (1988), 249\u2013265.","journal-title":"Special issue of Journal of Symbolic Computation"},{"key":"144608_CR10","unstructured":"Kalkbrener, M.: Three contributions to elimination theory, PhD thesis, Research Institute for Symbolic Computation, Univ. Linz, Austria."},{"key":"144608_CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M. Kalkbrener","year":"1993","unstructured":"Kalkbrener, M.: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties, J. Symbolic Computation\n15 (1993), 143\u2013167.","journal-title":"J. Symbolic Computation"},{"key":"144608_CR12","unstructured":"Kandri Rody, A.: Dimension of ideals in polynomial rings, Proc. Combinatorial Algorithm Structures, J. Avenhaus and K. Madlener (eds), Fachbereich Informatik. Kaiserslautern, 1985."},{"key":"144608_CR13","unstructured":"Kapur, D. and Lakshman, Y. N.: Elimination methods: An introduction, Geometric Reasoning, D. Kapur and J. Mundy (eds), MIT Press, Cambridge, Mass."},{"key":"144608_CR14","volume-title":"Differential Algebra and Algebraic Groups","author":"E. R. Kolchin","year":"1973","unstructured":"Kolchin, E. R.: Differential Algebra and Algebraic Groups, Academic Press, New York, 1973."},{"key":"144608_CR15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0747-7171(88)80045-2","volume":"6","author":"H. Kredel","year":"1988","unstructured":"Kredel, H. and Weispfenning, V.: Computing dimension and independent sets for polynomial ideals, J. Symbolic Computation\n6 (1988), 231\u2013247.","journal-title":"J. Symbolic Computation"},{"key":"144608_CR16","volume-title":"Theorie der endlichen und unendlichen Graphen","author":"K\u00f6nig","year":"1950","unstructured":"K\u00f6nig: Theorie der endlichen und unendlichen Graphen, Chelsea Publ. Co., New York, 1950."},{"key":"144608_CR17","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0747-7171(08)80086-7","volume":"13","author":"D. Lazard","year":"1992","unstructured":"Lazard, D.: Solving zero-dimensional algebraic sytems, J. Symbolic Computation\n13 (1992), 117\u2013131.","journal-title":"J. Symbolic Computation"},{"key":"144608_CR18","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0166-218X(91)90113-B","volume":"33","author":"D. Lazard","year":"1991","unstructured":"Lazard, D.: A new method for solving systems of positive dimension, Discrete Applied Mathematics\n33 (1991), 147\u2013160.","journal-title":"Discrete Applied Mathematics"},{"key":"144608_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4344-1","volume-title":"Algorithmic Algebra","author":"B Mishra","year":"1993","unstructured":"Mishra, B: Algorithmic Algebra, Springer-Verlag, New York, 1993."},{"key":"144608_CR20","unstructured":"Ollivier, F.: Le probl\u00e8me de l'identifiabilit\u00e9 structurelle globale, approche th\u00e9orique, m\u00e9thodes effectives et bornes de complexit\u00e9\", Th\u00e8se de Doctorat, Centre de Math\u00e9matiques, Ecole Polytechnique, 1990."},{"key":"144608_CR21","series-title":"AMS Coll. Publ.","volume-title":"Differential Algebra","author":"J. F. Ritt","year":"1950","unstructured":"Ritt, J. F.: Differential Algebra, AMS Coll. Publ. 33, Amer. Math. Soc., Provident, 1950."},{"key":"144608_CR22","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1090\/S0002-9947-1959-0107642-2","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"Rosenfeld, A.: Specialization in differential algebra, Trans. Amer. Math. Soc.\n90 (1959), 394\u2013407.","journal-title":"Trans. Amer. Math. Soc."},{"key":"144608_CR23","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"Seidenberg, A.: An elimination theory for differential algebra, Univ. California Publications in Math. (N.S)\n3 (1956), 31\u201365.","journal-title":"Univ. California Publications in Math. (N.S)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005821729260.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005821729260\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005821729260.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:24:33Z","timestamp":1749122673000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005821729260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["144608"],"URL":"https:\/\/doi.org\/10.1023\/a:1005821729260","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}