{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:01Z","timestamp":1725664261558},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:42:16Z","timestamp":1330278136000},"page":"248-261","source":"Crossref","is-referenced-by-count":1,"title":["Triangular systems and factorized Gr\u00f6bner bases"],"prefix":"10.1007","author":[{"given":"Hans-Gert","family":"Gr\u00e4be","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","volume-title":"Graduate Texts in Math. 141","author":"T. Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V., Kredel, H.: A computational approach to commutative algebra. Graduate Texts in Math. 141, Springer, New York, 1993."},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0747-7171(86)80014-1","volume":"2","author":"W. Boege","year":"1986","unstructured":"Boege, W., Gebauer, R., Kredel, H.: Some examples for solving systems of algebraic equations by calculating Gr\u00f6bner bases. J. Symb. Comp. 2 (1986), 83\u201398.","journal-title":"J. Symb. Comp."},{"doi-asserted-by":"crossref","unstructured":"Chou, S. C.: Automated theorem reasoning in geometries using the characteristic set method and Gr\u00f6bner basis method. In: Proc. ISSAC'90, ACM Press 1990, 255\u2013260.","key":"18_CR3","DOI":"10.1145\/96877.96942"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J. Faugere","year":"1993","unstructured":"Faugere, J., Gianni, P., Lazard, D., Mora, T.: Efficient computations of zerodimensional Gr\u00f6bner bases by change of ordering. J. Symb. Comp. 16 (1993), 329\u2013344.","journal-title":"J. Symb. Comp."},{"key":"18_CR5","doi-asserted-by":"crossref","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. J. Symb. Comp. 6 (1988), 149\u2013167.","journal-title":"J. Symb. Comp."},{"doi-asserted-by":"crossref","unstructured":"Giovini, A. et al.: \u201cOne sugar cube, please\u201d or selection strategies in the Buchberger algorithm. In: Proc. ISSAC'91, ACM Press, 1991, 49\u201354.","key":"18_CR6","DOI":"10.1145\/120694.120701"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1022459607909","volume":"2","author":"H.-G. Gr\u00e4be","year":"1993","unstructured":"Gr\u00e4be, H.-G.: Two remarks on independent set. J. Alg. Comb. 2 (1993), 137\u2013145.","journal-title":"J. Alg. Comb."},{"unstructured":"Gr\u00e4be, H.-G.: CALI \u2014 A REDUCE package for commutative algebra. Version 2.2, Febr. 1995. Available through the REDUCE library e.g. at redlib@rand.org.","key":"18_CR8"},{"unstructured":"Gr\u00e4be, H.-G.: On factorized Gr\u00f6bner bases. To appear in: Proc. \u201cComputer algebra in Science and Engineering\u201d, Bielefeld 1994.","key":"18_CR9"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M. Kalkbrener","year":"1993","unstructured":"Kalkbrener, M.: A generalized Euclidean algorithm for geometry theorem proving. J. Symb. Comp. 15 (1993), 143\u2013167.","journal-title":"J. Symb. Comp."},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/3-540-51517-8_126","volume":"378","author":"H. Kredel","year":"1989","unstructured":"Kredel, H.: Primary ideal decomposition. In: Proc. EUROCAL-87, LNCS 378 (1989), 270\u2013281.","journal-title":"Proc. EUROCAL-87, LNCS"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0747-7171(08)80086-7","volume":"13","author":"D. Lazard","year":"1992","unstructured":"Lazard, D.: Solving zero dimensional algebraic systems. J. Symb. Comp. 13 (1992), 117\u2013131.","journal-title":"J. Symb. Comp."},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0166-218X(91)90113-B","volume":"33","author":"D. Lazard","year":"1991","unstructured":"Lazard, D.: A new method for solving algebraic systems of positive dimension. Discr. Appl. Math. 33 (1991), 147\u2013160.","journal-title":"Discr. Appl. Math."},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF01200146","volume":"4","author":"H.-M. M\u00f6ller","year":"1993","unstructured":"M\u00f6ller, H.-M.: On decomposing systems of polynomial equations with finitely many solutions. J. AAECC 4 (1993), 217\u2013230.","journal-title":"J. AAECC"},{"doi-asserted-by":"crossref","unstructured":"Traverso, C., Donati, L.: Experimenting the Gr\u00f6bner basis algorithm with the AlPi system. In: Proc. ISSAC'89, ACM Press 1989.","key":"18_CR15","DOI":"10.1145\/74540.74564"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1006\/jsco.1993.1035","volume":"16","author":"D. Wang","year":"1993","unstructured":"Wang, D.: An elimination method for solving polynomial systems. J. Symb. Comp. 16 (1993), 83\u2013114.","journal-title":"J. Symb. Comp."},{"key":"18_CR17","first-page":"15","volume":"1","author":"F. Winkler","year":"1990","unstructured":"Winkler, F.: Gr\u00f6bner bases in geometry theorem proving and simplest non degeneracy conditions. Math. Pannonica 1 (1990), 15\u201332.","journal-title":"Math. Pannonica"}],"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_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:45Z","timestamp":1619573505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60114-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601142","9783540494409"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60114-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}