{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:46Z","timestamp":1725663526881},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510833"},{"type":"electronic","value":"9783540461524"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51083-4_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:41:44Z","timestamp":1330202504000},"page":"31-44","source":"Crossref","is-referenced-by-count":3,"title":["Computer and commutative algebra"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Robbiano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","unstructured":"Bayer,D. (1982) The division algorithm and the Hilbert scheme. Ph. D. Thesis Harvard"},{"key":"4_CR2","unstructured":"Bayer,D. \u2014 Morrison, J. (1986) Standard bases and geometric invariant theory I, Initial ideals and state polytopes. Special Volume of JSC on \"Computational Aspects of Commutative Algebra To appear"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01389151","volume":"87","author":"D. Bayer","year":"1987","unstructured":"Bayer, D. \u2014 Stillman, M. (1987, a) A criterion for detecting m-regularity. Invent. Math. 87 1\u201311","journal-title":"Invent. Math."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1215\/S0012-7094-87-05517-7","volume":"55","author":"D. Bayer","year":"1987","unstructured":"Bayer, D. \u2014 Stillman, M. (1987, b) A theorem on refining division orders by the reverse lexicographic order. Duke Math. J. 55 321\u2013328","journal-title":"Duke Math. J."},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"577","DOI":"10.2307\/1971361","volume":"126","author":"W.D. Brownawell","year":"1987","unstructured":"Brownawell, W.D. (1987). Bounds for the degrees in Nullstellensatz. Ann. of Math. 126 577\u2013592","journal-title":"Ann. of Math."},{"key":"4_CR6","unstructured":"Brundu, M. \u2014 Rossi, F. (1987) On the computation of generalized standard bases. Special Volume of JSC on \"Computational Aspects of Commutative Algebra To appear"},{"key":"4_CR7","unstructured":"Buchberger, B. (1965) Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideale. Ph.D. Thesis Innsbruck, Math. Inst."},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"Buchberger, B. (1970). Ein algorithmisches Kriterium f\u00fcr die L\u00f6sbarkeit eines algebraischen Gleichungssystems. Aeq. Math. 4 374\u2013383","journal-title":"Aeq. Math."},{"key":"4_CR9","unstructured":"Caniglia, L. \u2014 Galligo, A. \u2014 Heintz, J. Some effectivity bounds in computational geometry Preprint"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-16776-5_734","volume":"229","author":"G. Carr\u00e0 Ferro","year":"1986","unstructured":"Carr\u00e0 Ferro, G. (1986) Some upper bounds for the multiplicity of an autoreduced subset of Nm and their applications. Proc. AAECC-3 Springer Lecture Notes in Computer Science 229 306\u2013315","journal-title":"Proc. AAECC-3 Springer Lecture Notes in Computer Science"},{"key":"4_CR11","unstructured":"Carr\u00e0 Ferro, G. (1986) Gr\u00f6bner bases and Hilbert schemes. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L.E. Dickson","year":"1913","unstructured":"Dickson, L.E. (1913). Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Am. J. of Math. 35 413\u2013426","journal-title":"Am. J. of Math."},{"key":"4_CR13","unstructured":"Gebauer, R. \u2014 M\u00f6ller, M. (1987) On an Installation of Buchberger's Algorithm. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR14","unstructured":"Gianni, P. \u2014 Trager, B. \u2014 Zacharias, G. (1986) Gr\u00f6bner bases and primary decomposition of polynomial ideals. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR15","unstructured":"Giusti, M. (1988) Combinatorial dimension theory of algebraic varieties. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1007\/BF01206635","volume":"95","author":"G. Hermann","year":"1926","unstructured":"Hermann, G. (1926). Die Frage der endlischen vielen Schritte in der Theorie der Polynomideale. Math. Ann. 95 736\u2013788","journal-title":"Math. Ann."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01208503","volume":"36","author":"D. Hilbert","year":"1890","unstructured":"Hilbert, D. (1890). \u00dcber die Theorie der algebraischen Formen. Math. Ann. 36 473\u2013534","journal-title":"Math. Ann."},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/BF01444162","volume":"42","author":"D. Hilbert","year":"1893","unstructured":"Hilbert, D. (1893). \u00dcber die vollen Invariantensysteme. Math. Ann. 42 313\u2013373","journal-title":"Math. Ann."},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/1970486","volume":"79","author":"H. Hironaka","year":"1964","unstructured":"Hironaka, H. (1964) Resolution of singularities of an algebraic variety over a field of characteristic 0. Ann. Math 79 109\u2013326","journal-title":"Ann. Math"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Kollar, J. (1988). Sharp effective Nullstellensatz. Preprint.","DOI":"10.2307\/1990996"},{"key":"4_CR21","unstructured":"Kredel, H. \u2014 Weisspfenning, V. (1988) Computing dimension and independent sets for polynomial ideals. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR22","unstructured":"Lazard, D. (1984) Ideal bases and primary decomposition: the case of two variables. Preprint, Paris"},{"key":"4_CR23","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-12868-9_99","volume":"162","author":"D. Lazard","year":"1983","unstructured":"Lazard, D. (1983) Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations. Proc. EUROCAL 83 Springer Lecture Notes in Computer Science 162 146\u2013156","journal-title":"Proc. EUROCAL 83 Springer Lecture Notes in Computer Science"},{"key":"4_CR24","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1112\/plms\/s2-26.1.531","volume":"26","author":"F.S. Macaulay","year":"1927","unstructured":"Macaulay, F.S. (1927) Some properties of enumeration in the theory of modular systems. Proc. London Math. Soc. 26 531\u2013555","journal-title":"Proc. London Math. Soc."},{"key":"4_CR25","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E.W. Mayr","year":"1982","unstructured":"Mayr, E.W. \u2014 Meyer A.R. (1982) The complexity of the word problems for commutative semigroups and polynomial ideals. Adv. Math. 46 305\u2013329","journal-title":"Adv. Math."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Miola, A. \u2014 Mora, T. (1988) Constructive lifting in graded structures; a unified view of Buchberger and Hensel methods. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear","DOI":"10.1016\/S0747-7171(88)80050-6"},{"key":"4_CR27","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-11607-9_3","volume":"144","author":"T. Mora","year":"1982","unstructured":"Mora, T. (1982) An algorithm to compute the equations of tangent cones. Proc. EUROCAM 82 Springer Lecture Notes in Computer Science 144 24\u201331","journal-title":"Proc. EUROCAM 82 Springer Lecture Notes in Computer Science"},{"key":"4_CR28","unstructured":"Mora, T. (1988) Seven variations on standard bases. Preprint"},{"key":"4_CR29","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0021-8693(86)90071-2","volume":"100","author":"T. Mora","year":"1986","unstructured":"Mora, T. \u2014 M\u00f6ller, M. (1986) New constructive methods in classical ideal theory. J. Algebra 100 138\u2013178","journal-title":"J. Algebra"},{"key":"4_CR30","unstructured":"Mora, T. \u2014 Robbiano, L. (1987) The Gr\u00f6bner fan of an ideal. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR31","unstructured":"M\u00f6ller, M. (1986) On the construction of Gr\u00f6bner bases using syzygies. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear"},{"key":"4_CR32","unstructured":"Robbiano, L. (1988) Introduction to the Theory of Gr\u00f6bner Bases. To appear on Queen's Papers, Kingston Canada"},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-15984-3_321","volume":"204","author":"L. Robbiano","year":"1985","unstructured":"Robbiano, L. (1985) Term Orderings on the Polynomial Ring. Proc. EUROCAL 85, II Springer Lecture Notes in Computer Science 204 513\u2013517","journal-title":"II Springer Lecture Notes in Computer Science"},{"key":"4_CR34","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0747-7171(86)80019-0","volume":"2","author":"L. Robbiano","year":"1986","unstructured":"Robbiano, L. (1986) On the theory of graded structures. J. Symb. Comp. 2 139\u2013170","journal-title":"J. Symb. Comp."},{"key":"4_CR35","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02924906","volume":"LIII","author":"L. Robbiano","year":"1983","unstructured":"Robbiano, L. \u2014 Valla, G. (1983) On set-theoretic complete intersections in the projective space. Rend. Sem. Mat. Milano Vol LIII 333\u2013346","journal-title":"Rend. Sem. Mat. Milano"},{"key":"4_CR36","unstructured":"Schwartz, N. (1986) Stability of Gr\u00f6bner bases. Preprint"},{"key":"4_CR37","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1090\/S0002-9939-1975-0424783-5","volume":"74","author":"S. Seidenberg","year":"1975","unstructured":"Seidenberg, S. (1975) S. Construction of the integral closure of a finite integral domain. Proc. Amer. Math. Soc. 74 368\u2013372","journal-title":"Proc. Amer. Math. Soc."},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Shannon, D. \u2014 Sweedler, M. (1987) Using Gr\u00f6bner bases to determine algebra membership, split surjective algebra homomorphisms and to determine birational equivalence. Special Volume of JSC on \"Computational Aspects of Commutative Algebra\" To appear","DOI":"10.1016\/S0747-7171(88)80047-6"},{"key":"4_CR39","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1090\/S0002-9904-1968-12023-3","volume":"74","author":"G. Stolzenberg","year":"1968","unstructured":"Stolzenberg, G. (1968) Constructive normalization of an algebraic variety. Bull. Amer. Math. Soc. 74 595\u2013599","journal-title":"Bull. Amer. Math. Soc."},{"key":"4_CR40","unstructured":"Traverso, C. (1986) A study on algebraic algorithms: the normalization. Rend. Sem. Mat. Torino Proc. Int. Conf. Torino 1985 111\u2013130"},{"key":"4_CR41","unstructured":"Weispfenning, V. (1987) Constructing universal Gr\u00f6bner bases Proc. AAECC 5"},{"key":"4_CR42","unstructured":"Winkler, F. (1987) A p-adic approach to the computation of Gr\u00f6bner bases. Special Volume of JSC on \"Computational Aspects of Commutative Algebra To appear"},{"key":"4_CR43","unstructured":"Zacharias, G. (1978) Generalized Gr\u00f6bner Bases in commutative polynomial Rings. Bachelor Thesis M.I.T."}],"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-51083-4_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:42Z","timestamp":1605647982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51083-4_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510833","9783540461524"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-51083-4_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}