{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,21]],"date-time":"2026-10-21T04:44:23Z","timestamp":1792557863057,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540128687","type":"print"},{"value":"9783540387565","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12868-9_99","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:55:39Z","timestamp":1330174539000},"page":"146-156","source":"Crossref","is-referenced-by-count":186,"title":["Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations"],"prefix":"10.1007","author":[{"given":"D.","family":"Lazard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"15_CR1","unstructured":"D.A. Bayer. The division algorithm and the Hilbert scheme, Ph D, Harward Univ., 1982."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4","author":"B. Buchberger","year":"1970","unstructured":"B. Buchberger. Ein algorithmishes Kriterium fur die L\u00f6sbarkeit eines algebraischen Gleischungsystem. Aequationes Matematicea 4 (1970), p. 374\u2013383.","journal-title":"Aequationes Matematicea"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"B. Buchberger. A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner bases, EUROSAM'79, Lect. Notes in Comp. Sc. no 72 (1979), p. 3\u201321.","DOI":"10.1007\/3-540-09519-5_52"},{"key":"15_CR4","unstructured":"B. Buchberger. A note on the complexity of constructing Gr\u00f6bner bases. These proceedings."},{"key":"15_CR5","unstructured":"I. Kaplansky. Commutative rings. Allyn and Bacon (Boston, 1970)."},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"165","DOI":"10.24033\/bsmf.1848","volume":"105","author":"D. Lazard","year":"1977","unstructured":"D. Lazard. Alg\u00e8bre lin\u00e9aire sur K[X1,...,Xn] et \u00e9limination. Bull. Soc. Math. France 105 (1977), p. 165\u2013190.","journal-title":"Bull. Soc. Math. France"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"D. Lazard. Systems of algebraic equations. EUROSAM 79, p. 88\u201394.","DOI":"10.1007\/3-540-09519-5_62"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(81)90064-5","volume":"15","author":"D. Lazard","year":"1981","unstructured":"D. Lazard. R\u00e9solution des syst\u00e8mes d'\u00e9quations alg\u00e9briques. Theor. Comp. Sciences 15 (1981), p. 77\u2013110.","journal-title":"Theor. Comp. Sciences"},{"key":"15_CR9","unstructured":"D. Lazard. Commutative Algebra and Computer Algebra, EUROCAM'82, Lect. Notes in Comp. Sc. no 144 (1982), p. 40\u201348."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"F. Mora. An algorithm to compute the equations of tangent cones, EUROCAM'82, p. 158\u2013165.","DOI":"10.1007\/3-540-11607-9_18"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"M. Pohst, D.Y.Y. Yun. On solving systems of algebraic equations via ideal bases and elimination theory SYMSAC 1981, p. 206\u2013211.","DOI":"10.1145\/800206.806397"},{"key":"15_CR12","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, Ueber B. Buchberger Verfahren, Systeme algebraischer Gleischungen zu l\u00f6sen, J. of Number Theory 10 (1978), p. 475\u2013488.","journal-title":"J. of Number Theory"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12868-9_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:34Z","timestamp":1605625594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12868-9_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128687","9783540387565"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-12868-9_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983]]}}}