{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:30:18Z","timestamp":1743071418244,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878261"},{"type":"electronic","value":"9783540878278"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87827-8_21","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T13:53:21Z","timestamp":1221918801000},"page":"246-262","source":"Crossref","is-referenced-by-count":0,"title":["A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals"],"prefix":"10.1007","author":[{"given":"Jia","family":"Li","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6bner bases: an algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Recent Trends in Multidimensional Systems theory, D.Reidel Publ. Comp. (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0747-7171(08)80012-0","volume":"9","author":"J. Canny","year":"1990","unstructured":"Canny, J.: Generalised characteristics polynomials. Journal of Symbolic Computation\u00a09, 241\u2013250 (1990)","journal-title":"Journal of Symbolic Computation"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"1838","DOI":"10.1007\/BF01095643","volume":"4","author":"A. Chistov","year":"1986","unstructured":"Chistov, A.: Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time. J. Sov. Math.\u00a04, 1838\u20131882 (1986)","journal-title":"J. Sov. Math."},{"key":"21_CR4","volume-title":"Mechanical geometry theorem proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical geometry theorem proving. D.Reidel Publishing Company, Dordrecht (1988)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"10th International Conference on Automated Deduction","author":"S.C. Chou","year":"1990","unstructured":"Chou, S.C., Gao, X.S.: Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 207\u2013220. Springer, Heidelberg (1990)"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/309831.309843","volume-title":"Proc. of ISSAC 1999","author":"M. Elkadi","year":"1999","unstructured":"Elkadi, M., Mourrain, B.: A new algorithm for the geometric decomposition of a variety. In: Proc. of ISSAC 1999, pp. 9\u201316. ACM Press, New York (1999)"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1360\/csb1993-38-5-396","volume":"38","author":"X.S. Gao","year":"1993","unstructured":"Gao, X.S., Chou, S.C.: On the dimension for arbitrary ascending chains. Chinese Bull. of Scis.\u00a038, 396\u2013399 (1993)","journal-title":"Chinese Bull. of Scis."},{"key":"21_CR8","first-page":"17","volume":"12","author":"X.S. Gao","year":"1999","unstructured":"Gao, X.S., Chou, S.C.: On the theory of resolvents and its applications. Systems Science and Mathematical Sciences\u00a012, 17\u201330 (1999)","journal-title":"Systems Science and Mathematical Sciences"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0747-7171(88)80040-3","volume":"6","author":"P. Gianni","year":"1988","unstructured":"Gianni, P., Trager, B., Zacharias, G.: Gr\u00f6bner bases and primary decomposition of polynomial ideals. Journal of Symbolic Computation\u00a06, 149\u2013167 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/1145768.1145802","volume-title":"Proc. of ISSAC 2006","author":"S. Laplagne","year":"2006","unstructured":"Laplagne, S.: An algorithm for the computation of the radical of an ideal. In: Proc. of ISSAC 2006, pp. 191\u2013195. ACM Press, New York (2006)"},{"key":"21_CR11","doi-asserted-by":"crossref","DOI":"10.3792\/chmm\/1263317740","volume-title":"The algebraic theory of modular systems","author":"F.S. Macaulay","year":"1916","unstructured":"Macaulay, F.S.: The algebraic theory of modular systems. Cambridge University Press, Cambridge (1916)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1006\/jsco.2000.1017","volume":"31","author":"A. Sausse","year":"2001","unstructured":"Sausse, A.: A new approach to primary decompositon. Journal of Symbolic Computation\u00a031, 243\u2013257 (2001)","journal-title":"Journal of Symbolic Computation"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Ritt, J.F.: Differential algebra, American Mathematical Society (1950)","DOI":"10.1090\/coll\/033"},{"key":"21_CR14","unstructured":"Sz\u00e1nt\u00f3, \u00c1.: Computation with polynomial systems, PhD thesis, Cornell University (1999)"},{"key":"21_CR15","volume-title":"Einf\u00fcrung in die algebraischen geometrie","author":"B.L. Van der Waerden","year":"1973","unstructured":"Van der Waerden, B.L.: Einf\u00fcrung in die algebraischen geometrie. Springer, Berlin (1973)"},{"key":"21_CR16","volume-title":"Modern algebra II","author":"B.L. Van der Waerden","year":"1953","unstructured":"Van der Waerden, B.L.: Modern algebra II. Frederick Ungar Pub., New York (1953)"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/0167-8396(92)90045-Q","volume":"9","author":"D.M. Wang","year":"1992","unstructured":"Wang, D.M.: Irreducible decomposition of algebraic varieties via characteristic sets and Gr\u00f6bner bases. Computer Aided Geometric Design\u00a09, 471\u2013484 (1992)","journal-title":"Computer Aided Geometric Design"},{"key":"21_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-47997-X_10","volume-title":"Automated Deduction in Geometry","author":"D.M. Wang","year":"1999","unstructured":"Wang, D.M.: Decomposing algebraic varieties. In: Wang, D., Yang, L., Gao, X.-S. (eds.) ADG 1998. LNCS (LNAI), vol.\u00a01669, pp. 180\u2013206. Springer, Heidelberg (1999)"},{"key":"21_CR19","first-page":"207","volume":"4","author":"W.T. Wu","year":"1984","unstructured":"Wu, W.T.: Basic principles of mechanical theorem-proving in elementary geometries. Journal of System Science and Mathematical Sciences\u00a04, 207\u2013235 (1984); Re-published in Journal of Automated Reasoning 2, 221\u2013252 (1986)","journal-title":"Journal of System Science and Mathematical Sciences"}],"container-title":["Lecture Notes in Computer Science","Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87827-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:13:26Z","timestamp":1715238806000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87827-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878261","9783540878278"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87827-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}