{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:11Z","timestamp":1742593211277,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525318"},{"type":"electronic","value":"9783540470144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52531-9_120","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:36:13Z","timestamp":1330205773000},"page":"20-29","source":"Crossref","is-referenced-by-count":8,"title":["CoCoA: A user-friendly system for commutative algebra"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Giovini","sequence":"first","affiliation":[]},{"given":"Gianfranco","family":"Niesi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"3_CR1","volume-title":"The Division Algorithm and the Hilbert Scheme","author":"D. A. Bayer","year":"1982","unstructured":"D. A. Bayer, The Division Algorithm and the Hilbert Scheme, Ph. D. Thesis, Harvard Univ., Cambridge, Mass., 1982."},{"key":"3_CR2","volume-title":"Ein Algorithmus zum Auffiden des Restklassenringes nach einem nulldimensionalen Polynomideale","author":"B. Buchberger","year":"1965","unstructured":"B. Buchberger, Ein Algorithmus zum Auffiden des Restklassenringes nach einem nulldimensionalen Polynomideale, Ph.D. Thesis, Univ. Innsbr\u00fcck, Austria, 1965."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BF01844169","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"B. Buchberger, Ein algorithmisches Kriterium f\u00fcr die L\u00f6sbarkeit eines algebraischen Gleichungssystems, Aequationes Math. 4 (1970), 364\u2013383.","journal-title":"Aequationes Math."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-09519-5_52","volume":"72","author":"B. Buchberger","year":"1979","unstructured":"B. Buchberger, A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner bases, in \u201cProc. EUROSAM '79\u201d, 3\u201321, Lect. Notes in Comp. Sci., vol. 72, 1979.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR5","volume-title":"Recent Trends in Multidimensional System Theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger, Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory, in \u201cRecent Trends in Multidimensional System Theory\u201d (N. K. Bose, Ed.), Reidel, Dordrecht, 1985."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-16776-5_734","volume":"229","author":"G. Carra' Ferro","year":"1986","unstructured":"G. Carra' Ferro, Some upper bounds for multiplicity of an autoreduced subset of INm and their applications, in \u201cProc. AAECC-3\u201d, 306\u2013315, Lect. Notes in Comp. Sci., vol. 229, 1986.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR7","volume-title":"Computer Algebra","author":"J. H. Davenport","year":"1988","unstructured":"J. H. Davenport, Y. Siret, E. Tournier, \u201cComputer Algebra\u201d, Academic Press, London, 1988."},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(88)80048-8","volume":"6","author":"R. Gebauer","year":"1988","unstructured":"R. Gebauer \u2014 M. M\u00f6ller, On an Installation of Buchberger's Algorithm, J. of Symb. Comp. 6 (1988), 275\u2013286.","journal-title":"J. of Symb. Comp."},{"key":"3_CR9","unstructured":"A. Giovini \u2014 G. Niesi, CoCoA User's Manual (v.0.99b\u2013May 1989), University of Genova"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0747-7171(88)80040-3","volume":"6","author":"P. Gianni","year":"1988","unstructured":"P. Gianni \u2014 B. Trager \u2014 G. Zacharias, Gr\u00f6bner and Primary Decomposition of Polynomial Ideals, J. of Symb. Comp. 6 (1988), 149\u2013167.","journal-title":"J. of Symb. Comp."},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0747-7171(88)80045-2","volume":"6","author":"H. Kredel","year":"1988","unstructured":"H. Kredel \u2014 V. Weispfenning, computing Dimension and Independent Set for Polynomial Ideals, J. of Symb. Comp. 6 (1988), 231\u2013247.","journal-title":"J. of Symb. Comp."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-12868-9_99","volume":"162","author":"D. Lazard","year":"1983","unstructured":"D. Lazard, Gr\u00f6bner bases, Gaussian elimination, and resolution of systems of algebraic equations, in \u201cProc. EUROCAL '83\u201d, 146\u2013156, Lect. Notes in Comp. Sci., vol. 162, 1983.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0747-7171(85)80035-3","volume":"1","author":"D. Lazard","year":"1985","unstructured":"D. Lazard, Ideal bases and primary decomposition: case of two variables, J. of Symb. Comp. 1 (1985), 261\u2013270.","journal-title":"J. of Symb. Comp."},{"key":"3_CR14","first-page":"172","volume":"162","author":"H.M. M\u00f6ller","year":"1983","unstructured":"H.M. M\u00f6ller \u2014 F. Mora, Upper and lower bounds for the degree of Gr\u00f6bner bases, in \u201cProc. EUROSAM '84\u201d, 172\u2013183, Lect. Notes in Comp. Sci., vol.162, 1983.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR15","first-page":"157","volume":"174","author":"H.M. M\u00f6ller","year":"1984","unstructured":"H.M. M\u00f6ller \u2014 F. Mora, The computation of the Hilbert function, in \u201cProc. EUROCAL '83\u201d, 157\u2013167, Lect. Notes in Comp. Sci., vol.174, 1984.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0021-8693(86)90071-2","volume":"100","author":"H.M. M\u00f6ller","year":"1986","unstructured":"H.M. M\u00f6ller \u2014 F. Mora, New Constructive Methods in Classical Ideal Theory, J. Alg. 100 (1986), 138\u2013178.","journal-title":"J. Alg."},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/3-540-11607-9_18","volume":"144","author":"F. Mora","year":"1982","unstructured":"F. Mora, An algorithm to compute the equations of tangent cones, in \u201cProc. EUROCAM '82\u201d, 158\u2013165, Lect. Notes in Comp. Sci., vol.144, 1982.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-15984-3_321","volume":"204","author":"L. Robbiano","year":"1985","unstructured":"L. Robbiano, Term Orderings on the Polynomial Ring, in \u201cProc. EUROCAL '85\u201d, 513\u2013517, Lect. Notes in Comp. Sci., vol.204, 1985.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0747-7171(86)80019-0","volume":"2","author":"L. Robbiano","year":"1986","unstructured":"L. Robbiano, On the theory of graded structures, J.of Symb. Comp. 2 (1986), 139\u2013170.","journal-title":"J.of Symb. Comp."},{"key":"3_CR20","unstructured":"L. Robbiano, Introduction to the theory of Gr\u00f6bner Bases, in \u201cQueen's Papers in Pure and Applied Mathematics\u201d, n. 80 (1988)."},{"key":"3_CR21","first-page":"157","volume":"357","author":"L. Robbiano","year":"1988","unstructured":"L. Robbiano, Computer and Commutative Algebra, in \u201cProc. AAECC 6\u201d, 157\u2013167, Lect. Notes in Comp. Sci., vol.357, 1988.","journal-title":"Lect. Notes in Comp. Sci."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"L. Robbiano, Gr\u00f6bner Bases: a Foundation for Commutative Algebra, notes of a tutorial given at MIT in June 1989.","DOI":"10.1007\/3-540-51083-4_46"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02924906","volume":"53","author":"L. Robbiano","year":"1983","unstructured":"L. Robbiano \u2014 G. Valla, On set theoretic complete intersections in the projective space, Rend. Sem. Mat. Fis. Milano 53 (1983), 333\u2013346.","journal-title":"Rend. Sem. Mat. Fis. Milano"},{"key":"3_CR24","unstructured":"M. Stillman \u2014 M. Stillman \u2014 D. Bayer, Macaulay User Manual, May 25, 1989"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"C. Traverso, Experimenting the Gr\u00f6bner basis algorithm with the AIPI system, in \u201cProc. of ISSAC '89\u201d, ACM Press, 192\u2013198","DOI":"10.1145\/74540.74564"},{"key":"3_CR26","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1016\/0022-314X(78)90019-7","volume":"10","author":"W. Trinks","year":"1978","unstructured":"W. Trinks, \u00dcber B. Buchberger's Verfahren, Systeme algebraischerm Gleichungen zu Losen, J. of Number Theory 10 (1978), 475\u2013488.","journal-title":"J. of Number Theory"},{"key":"3_CR27","volume-title":"Mathematica, A System for Doing Mathematics by Computer","author":"S. Wolfram","year":"1988","unstructured":"S. Wolfram, \u201cMathematica, A System for Doing Mathematics by Computer\u201d, Addison Wesley, Reading, Mass, 1988"},{"key":"3_CR28","unstructured":"G. Zacharias, Generalized Gr\u00f6bner basis in commutative polynomial Rings, Bachelor Thesis, MIT, 1978."}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52531-9_120.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:02:12Z","timestamp":1742590932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52531-9_120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525318","9783540470144"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-52531-9_120","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}