{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T10:12:58Z","timestamp":1648721578470},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T00:00:00Z","timestamp":1595030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s00200-020-00450-y","type":"journal-article","created":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T05:19:10Z","timestamp":1595049550000},"page":"411-434","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A dynamic F4 algorithm to compute Gr\u00f6bner bases"],"prefix":"10.1007","volume":"31","author":[{"given":"John","family":"Perry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,18]]},"reference":[{"issue":"1\u20132","key":"450_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","volume":"72","author":"R Bagnara","year":"2008","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1\u20132), 3\u201321 (2008)","journal-title":"Sci. Comput. Program."},{"key":"450_CR2","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalem Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal). Ph.D. thesis, Mathematical Institute, University of Innsbruck, Austria, 1965. English translation published in the J. Symb. Comput. 475\u2013511 (2006)","DOI":"10.1016\/j.jsc.2005.09.007"},{"key":"450_CR3","unstructured":"Buchberger, B.: An algorithmic criterion for the solvability of a system of algebraic equations. Aequ. Math. 4(3), 374\u2013383 (1970). English translation published in Gr\u00f6bner Bases and Applications, London Mathematical Society Lecture Note Series 251 (1998)"},{"key":"450_CR4","doi-asserted-by":"crossref","unstructured":"Caboara, M.: A dynamic algorithm for Gr\u00f6bner basis computation. In: ISSAC \u201993, pp. 275\u2013283. ACM Press (1993)","DOI":"10.1145\/164081.164141"},{"issue":"1","key":"450_CR5","doi-asserted-by":"publisher","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. bf 25(1), 99\u2013117 (2014)","journal-title":"Appl. Algebra Eng. Commun. Comput. bf"},{"issue":"3\u20134","key":"450_CR6","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1006\/jsco.1996.0145","volume":"24","author":"S Collart","year":"1997","unstructured":"Collart, S., Kalkbrenner, M., Mall, D.: Converting bases with the Gr\u00f6bner Walk. J. Symb. Comput. 24(3\u20134), 465\u2013469 (1997)","journal-title":"J. Symb. Comput."},{"key":"450_CR7","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 4-1-1: a computer algebra system for polynomial computations. http:\/\/www.singular.uni-kl.de (2019)"},{"key":"450_CR8","unstructured":"Eder, C.: gb. downloaded from https:\/\/github.com\/ederc\/gb (2017)"},{"key":"450_CR9","unstructured":"Eder, C.: Singular-benchmarks. https:\/\/github.com\/ederc\/singular-benchmarks (2018)"},{"key":"450_CR10","unstructured":"Granlund, T., et\u00a0al.: The GNU linear multiple precision arithmetic library. The GNU Project (2000\u20132019). Available at www.gmplib.org"},{"issue":"1\u20133","key":"450_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J-C Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.-C.: A new efficient algorithm for computing Gr\u00f6bner bases (F4). J. Pure Appl. Algebra 139(1\u20133), 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebra"},{"key":"450_CR12","unstructured":"Faug\u00e8re, J.-C.: Cryptochallenge 11 is broken or an efficient attack of the C* cryptosystem. Technical report, LIP6\/Universit\u00e8 Paris (2005)"},{"issue":"4","key":"450_CR13","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J-C Faug\u00e8re","year":"1993","unstructured":"Faug\u00e8re, J.-C., Gianni, P., Lazard, D., Mora, T.: Efficient computation of zero-dimensional Gr\u00f6bner bases by change of ordering. J. Symb. Comput. 16(4), 329\u2013344 (1993)","journal-title":"J. Symb. Comput."},{"key":"450_CR14","doi-asserted-by":"crossref","unstructured":"Faug\u00e8re, J.-C., Joux, A.: Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Gr\u00f6bner bases. In: Advances in Cryptology\u2014CRYPTO 2003, Lecture Notes in Computer Science, vol. 2729, pp. 44\u201360. Springer(2003)","DOI":"10.1007\/978-3-540-45146-4_3"},{"key":"450_CR15","doi-asserted-by":"publisher","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, 275\u2013286 (1988)","journal-title":"J. Symb. Comput."},{"issue":"2","key":"450_CR16","doi-asserted-by":"publisher","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. Disc. Math 6(2), 246\u2013269 (1993)","journal-title":"SIAM J. Disc. Math"},{"key":"450_CR17","doi-asserted-by":"crossref","unstructured":"Hashemi, A., Talaashrafi, D.: A note on dynamic Gr\u00f6bner bases computation. In: CASC 2016, Lecture Notes in Computer Science, vol. 9890, pp. 276\u2013288. Springer (2016)","DOI":"10.1007\/978-3-319-45641-6_18"},{"key":"450_CR18","unstructured":"Jensen, A.: The gfan homepage. http:\/\/home.math.au.dk\/jensen\/software\/gfan\/gfan.html (2017)"},{"key":"450_CR19","unstructured":"Langeloh, G.: Unrestricted dynamic Gr\u00f6bner Basis algorithms. Master\u2019s thesis, Universidade Federal do Rio Grande do Sul (2019)"},{"key":"450_CR20","doi-asserted-by":"crossref","unstructured":"Lazard, D.: Gr\u00f6bner bases, Gaussian elimination, and resolution of systems of algebraic equations. In: van Hulzen, J.A. (ed.) EUROCAL \u201983, European Computer Algebra Conference, vol. 162, pp. 146\u2013156. Springer LNCS (1983)","DOI":"10.1007\/3-540-12868-9_99"},{"key":"450_CR21","doi-asserted-by":"publisher","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, 183\u2013208 (1988)","journal-title":"J. Symb. Comput."},{"key":"450_CR22","doi-asserted-by":"crossref","unstructured":"Perry, J.: Exploring the dynamic Buchberger algorithm. In: Proceedings of the 2017 International Symposium on Symbolic and Algebraic Computation (ISSAC \u201917). ACM Press (2017)","DOI":"10.1145\/3087604.3087643"},{"key":"450_CR23","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0747-7171(86)80019-0","volume":"2","author":"L Robbiano","year":"1986","unstructured":"Robbiano, L.: On the theory of graded structures. J. Symb. Comput. 2, 139\u2013170 (1986)","journal-title":"J. Symb. Comput."},{"key":"450_CR24","unstructured":"Stein, W.: Sage: Open Source Mathematical Software (Version 8.7). The Sage\u00a0Group. www.sagemath.org (2019)"},{"key":"450_CR25","unstructured":"Verschelde, J.: The database of polynomial systems. http:\/\/homepages.math.uic.edu\/~jan\/ (2017)"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-020-00450-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00200-020-00450-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-020-00450-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,17]],"date-time":"2021-07-17T23:14:49Z","timestamp":1626563689000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00200-020-00450-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,18]]},"references-count":25,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["450"],"URL":"https:\/\/doi.org\/10.1007\/s00200-020-00450-y","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,18]]},"assertion":[{"value":"16 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 July 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}