{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:55Z","timestamp":1760061655768},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601142"},{"type":"electronic","value":"9783540494409"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60114-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:43:21Z","timestamp":1330260201000},"page":"106-119","source":"Crossref","is-referenced-by-count":3,"title":["On the computation of the radical of polynomial complete intersection ideals"],"prefix":"10.1007","author":[{"given":"In\u00e9s","family":"Armend\u00e1riz","sequence":"first","affiliation":[]},{"given":"Pablo","family":"Solern\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-54195-0_52","volume":"508","author":"M. Alonso","year":"1991","unstructured":"Alonso M., Mora T. and Raimondo M.: Local decomposition algorithms.-Proc. 8th. Int. Conf. Applied Algebra, Algebraic Algorithms and Error Correcting Codes AAECC-8, Springer Lect. Notes Comput.Sci. 508 (1991) 208\u2013221.","journal-title":"Springer Lect. Notes Comput.Sci."},{"key":"8_CR2","unstructured":"Bayer D. and Mumford D.: What Can Be Computed in Algebraic Geometry ? Computational Algebraic Geometry and Commutative Algebra, Cortona 1991, D. Eisenbud and L. Robbiano, eds. Symposia Math. XXXIV, Cambridge Univ. Press (1993) 1\u201348."},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0024-3795(91)90115-D","volume":"157","author":"C. Berenstein","year":"1991","unstructured":"Berenstein C. and Struppa D.: Recent improvements in the Complexity of the Effective Nullstellensatz.-Linear Algebra and its Appl. 157 (1991) 203\u2013215.","journal-title":"Linear Algebra and its Appl."},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(84)90018-8","volume":"18","author":"S. Berkowitz","year":"1984","unstructured":"Berkowitz S.: On computing the determinant in small parallel time using a small number of processors.-Inform. Process. Lett. 18 (1984) 147\u2013150.","journal-title":"Inform. Process. Lett."},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-51083-4_54","volume":"357","author":"L. Caniglia","year":"1989","unstructured":"Caniglia L., Galligo A. and Heintz J.: Some new effectivity bounds in computational geometry.-Proc. 6th Int. Conf. Applied Algebra, Algebraic Algorithms and Error Correcting Codes AAECC-6, Roma 1988, Springer Lect. Notes Comput.Sci. 357 (1989) 131\u2013151.","journal-title":"Springer Lect. Notes Comput.Sci."},{"key":"8_CR6","volume-title":"Notes Informelles de Calcul Formel","author":"M. Demazure","year":"1984","unstructured":"Demazure M.: Le mono\u00efde de Mayr et Meyer.-Notes Informelles de Calcul Formel, Ecole Polytechnique, Palaiseau (1984)."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0166-218X(91)90109-A","volume":"33","author":"A. Dickenstein","year":"1991","unstructured":"Dickenstein A., Giusti M., Fitchas N. and Sessa C.: The membership problem for unmixed polynomial ideals is solvable in single exponential time.-Discrete Appl. Math. 33 (1991) 73\u201394.","journal-title":"Discrete Appl. Math."},{"key":"8_CR8","unstructured":"Dickenstein A. and Sessa C.: Duality methods for the membership problem.\u2014 Effective Methods in Algebraic Geometry MEGA 90, T. Mora and C. Traverso, eds., Progress in Mathematics Vol. 94, Birkh\u00fcser (1991) 89\u2013103."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01231331","volume":"110","author":"D. Eisenbud","year":"1992","unstructured":"Eisenbud D., Huneke C. and Vasconcelos W.: Direct methods for primary decomposition.-Inv. Math. 110 (1992) 207\u2013235.","journal-title":"Inv. Math."},{"key":"8_CR10","unstructured":"Fitchas N., Giusti M. and Smietanski F.: Sur la complexit\u00e9 du th\u00e9or\u00e8me des z\u00e9ros.-Preprint Ecole Polytechnique Palaiseau (1992)."},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/BF01200407","volume":"3","author":"M. Giusti","year":"1993","unstructured":"Giusti M., Heintz J. and Sabia J.: On the efficiency of effective Nullstellens\u00e4tze.-Comput. Complexity 3, Birkha\u00fcser (1993) 56\u201395.","journal-title":"Comput. Complexity"},{"key":"8_CR12","unstructured":"Grothendieck A. and Dieudonn\u00e9 J.: \u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique IV.-Publ. Math. Inst. Hautes \u00c9tud. Sci. 32 (1967)."},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01398398","volume":"72","author":"L. Gruson","year":"1983","unstructured":"Gruson L., Lazarsfeld R. and Peskine C.: On a Theorem of Castelnuovo, and the Equations Defining Space Curves.-Inv. Math. 72 (1983) 493\u2013506.","journal-title":"Inv. Math."},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J. Heintz","year":"1983","unstructured":"Heintz J.: Definability and Fast Quantifier Elimination in Algebraically Closed Fields.-Theoret. Comput. Sci. 24 (1983) 239\u2013277.","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Iversen B.: Genetic Local Structures in Commutative Algebra.-Lect. Notes in Math. 310, Springer-Verlag (1973).","DOI":"10.1007\/BFb0060790"},{"key":"8_CR16","unstructured":"Kaplansky I.: Commutative tings.-Allyn and Bacon (1970)."},{"key":"8_CR17","unstructured":"Krick T. and Logar A.: An algorithm for the computation of the radical of an ideal in the ring of polynomials.-Proc. AAECC-9, New Orleans 1991. LN Comp. Sci. 539. Springer-Verlag (1992) 195\u2013205."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Kunz E.: K\u00e4lher Differentials.-Adv. Lect. in Math., Vieweg Verlag (1986).","DOI":"10.1007\/978-3-663-14074-0"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Lam T.Y.: Serre's Conjecture.-Springer Lect. Notes in Math. 635 (1978).","DOI":"10.1007\/BFb0068340"},{"key":"8_CR20","unstructured":"Matsumura H.: Commutative ring theory.-Cambridge Studies in Adv. Math. 8 Cambridge University Press (1989)."},{"key":"8_CR21","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E. Mayr","year":"1982","unstructured":"Mayr E. and Meyer A.: The complexity of the word problem for commutative semigroups and polynomial ideals.-Adv. in Math. 46 (1982) 305\u2013329.","journal-title":"Adv. in Math."},{"key":"8_CR22","first-page":"29","volume-title":"Questions on Algebraic Varieties","author":"D. Mumfold","year":"1970","unstructured":"Mumfold D.: Varieties defined by quadratic equations.-Questions on Algebraic Varieties, Centro Internationale de Matematica Estivo, Cremonese, Roma (1970) 29\u2013100."},{"key":"8_CR23","first-page":"441","volume-title":"Progress in Mathematics Vol. 94","author":"F. Rossi","year":"1990","unstructured":"Rossi F. and Spangher W.: Some effective methods in the openness of loci for Cohen-Macaulay and Gorenstein properties.-Effective Methods in Algebraic Geometry, Proc. Intern. Conf. MEGA 90, Castiglioncello 1990, T. Mora and C. Traverso, eds., Progress in Mathematics Vol. 94 Birkh\u00e4user (1990) 441\u2013455."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Sabia J. and Solern\u00f3 P.: Bounds for traces in Complete Intersections and Degrees in the Nullstellensatz.-To appear in AAECC Journal, Springer-Verlag (1994).","DOI":"10.1007\/BF01198015"},{"key":"8_CR25","unstructured":"Serre J.-P.: Alg\u00e8bre Locale-Multiplicit\u00e9s.-Springer Lect. Notes in Math. 11 (1965)."},{"key":"8_CR26","first-page":"107","volume":"189\u2013190","author":"B. Teissier","year":"1991","unstructured":"Teissier B.: R\u00e9sultats r\u00e9cents d'alg\u00e8bre commutative effective.-S\u00e9minaire Bourbaki 1989\u20131990, Ast\u00e9risque vol 189\u2013190 (1991) 107\u2013131.","journal-title":"S\u00e9minaire Bourbaki 1989\u20131990, Ast\u00e9risque"}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60114-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:04Z","timestamp":1605628504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60114-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601142","9783540494409"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60114-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}