{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:54:36Z","timestamp":1725864876043},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319456409"},{"type":"electronic","value":"9783319456416"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45641-6_18","type":"book-chapter","created":{"date-parts":[[2016,9,8]],"date-time":"2016-09-08T06:30:29Z","timestamp":1473316229000},"page":"276-288","source":"Crossref","is-referenced-by-count":3,"title":["A Note on Dynamic Gr\u00f6bner Bases Computation"],"prefix":"10.1007","author":[{"given":"Amir","family":"Hashemi","sequence":"first","affiliation":[]},{"given":"Delaram","family":"Talaashrafi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,9]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra","author":"T Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra. Springer, New York (1993). In cooperation with Heinz Kredel"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-09519-5_52","volume-title":"Symbolic and Algebraic Computation","author":"B Buchberger","year":"1979","unstructured":"Buchberger, B.: A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner-bases. In: Ng, E.W. (ed.) EUROSAM 1979. LNCS, vol. 72, pp. 3\u201321. Springer, Heidelberg (1979)"},{"key":"18_CR3","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Innsbruck: Univ. Innsbruck, Mathematisches Institut (Diss.) (1965)"},{"issue":"3\u20134","key":"18_CR4","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B Buchberger","year":"2006","unstructured":"Buchberger, B.: Bruno Buchberger\u2019s Ph.d. thesis 1965: an algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German. J. Symb. Comput. 41(3\u20134), 475\u2013511 (2006)","journal-title":"Translation from the German. J. Symb. Comput."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Caboara, M.: A dynamic algorithm for Gr\u00f6bner basis computation. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, ISSAC 1993, pp. 275\u2013283 (1993)","DOI":"10.1145\/164081.164141"},{"issue":"1\u20132","key":"18_CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00200-014-0216-5","volume":"25","author":"M Caboara","year":"2014","unstructured":"Caboara, M., Perry, J.: Reducing the size and number of linear programs in a dynamic Gr\u00f6bner basis algorithm. Appl. Algebra Eng. Commun. Comput. 25(1\u20132), 99\u2013117 (2014)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"18_CR7","volume-title":"Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007)","edition":"3"},{"issue":"1\u20133","key":"18_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"JC Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases $$(F_4)$$ . J. Pure Appl. Algebra 139(1\u20133), 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebra"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero $$(F_5)$$ . In: Proceedings of International Symposium on Symbolic and Algebraic Computation, ISSAC 2002, pp. 75\u201383 (2002)","DOI":"10.1145\/780506.780516"},{"key":"18_CR10","volume-title":"An Introduction to Gr\u00f6bner Bases","author":"R Fr\u00f6berg","year":"1997","unstructured":"Fr\u00f6berg, R.: An Introduction to Gr\u00f6bner Bases. John Wiley & Sons, Chichester (1997)"},{"issue":"2\u20133","key":"18_CR11","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(88)80048-8","volume":"6","author":"R Gebauer","year":"1988","unstructured":"Gebauer, R., M\u00f6ller, H.: On an installation of Buchberger\u2019s algorithm. J. Symb. Comput. 6(2\u20133), 275\u2013286 (1988)","journal-title":"J. Symb. Comput."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Giovini, A., Mora, T., Niesi, G., Robbiano, L., Traverso, C.: \u201cOne sugar cube, please\u201d or selection strategies in the Buchberger algorithm. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, ISSAC 1991, pp. 49\u201354 (1991)","DOI":"10.1145\/120694.120701"},{"key":"18_CR13","unstructured":"Greuel, G.M., Pfister, G.: A singular introduction to commutative algebra. With contributions by Olaf Bachmann, Christoph Lossen and Hans Sch\u00f6nemann, 2nd extended edn. Springer, Berlin (2007)"},{"issue":"2","key":"18_CR14","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1137\/0406019","volume":"6","author":"P Gritzmann","year":"1993","unstructured":"Gritzmann, P., Sturmfels, B.: Minkowski addition of polytopes: computational complexity and applications to Gr\u00f6bner bases. SIAM J. Discrete Math. 6(2), 246\u2013269 (1993)","journal-title":"SIAM J. Discrete Math."},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-12868-9_99","volume-title":"Computer Algebra","author":"D Lazard","year":"1983","unstructured":"Lazard, D.: Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations. In: van Hulzen, J.A. (ed.) EUROCAL 1983. LNCS, vol. 162, pp. 146\u2013156. Springer, Heidelberg (1983)"},{"issue":"2\u20133","key":"18_CR16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0747-7171(88)80042-7","volume":"6","author":"T Mora","year":"1988","unstructured":"Mora, T., Robbiano, L.: The Gr\u00f6bner fan of an ideal. J. Symb. Comput. 6(2\u20133), 183\u2013208 (1988)","journal-title":"J. Symb. Comput."},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-15984-3_321","volume-title":"EUROCAL 1985","author":"L Robbiano","year":"1985","unstructured":"Robbiano, L.: Term orderings on the polynomial ring. In: Caviness, B.F. (ed.) EUROCAL 1985. LNCS, vol. 204, pp. 513\u2013517. Springer, Heidelberg (1985)"},{"key":"18_CR18","unstructured":"Stein, W.: Sage: Open Source Mathematical Software (Version 7.0). The Sage Group (2016). https:\/\/linproxy.fan.workers.dev:443\/http\/www.sagemath.org"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45641-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T18:13:43Z","timestamp":1498328023000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-319-45641-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319456409","9783319456416"],"references-count":18,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/978-3-319-45641-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}