{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:10:52Z","timestamp":1649020252708},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T00:00:00Z","timestamp":1623024000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T00:00:00Z","timestamp":1623024000000},"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":["Math.Comput.Sci."],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s11786-021-00512-5","type":"journal-article","created":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T05:02:37Z","timestamp":1623042157000},"page":"419-452","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Involutive GVW Algorithm and the Computation of Pommaret Bases"],"prefix":"10.1007","volume":"15","author":[{"given":"Amir","family":"Hashemi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Izgin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Robertz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner M.","family":"Seiler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,7]]},"reference":[{"key":"512_CR1","doi-asserted-by":"crossref","unstructured":"Binaei, B., Hashemi, A., Seiler, W.M.: Computation of Pommaret bases using syzygies. In: Computer Algebra in Scientific Computing. 20th International Workshop, CASC 2018, Lille, France, September 17\u201321, 2018. Proceedings, pp. 51\u201366. Springer, Cham (2018)","DOI":"10.1007\/978-3-319-99639-4_4"},{"key":"512_CR2","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Universit\u00e4t Innsbruck, 1965. (Engl. translation: J. Symb. Comput. 41 (2006) 475\u2013511)"},{"key":"512_CR3","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner-bases. In: Symbolic and Algebraic Computation, EUROSAM\u201979, International Symposium, Marseille 1979, Lecture Notes Computer Science 72, pp. 3\u201321 (1979)","DOI":"10.1007\/3-540-09519-5_52"},{"key":"512_CR4","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 the 2002 International Symposium on Symbolic and Algebraic Computation, ISSAC 2002, Lille, France, July 07\u201310, 2002, pp. 75\u201383. ACM Press, New York (2002)","DOI":"10.1145\/780506.780516"},{"key":"512_CR5","doi-asserted-by":"crossref","unstructured":"Gao, S., Guan, Y., Volny, F.: A new incremental algorithm for computing Groebner bases. In: Proceedings of the 35th International Symposium on Symbolic and Algebraic Computation, ISSAC 2010, Munich, Germany, July 25\u201328, 2010, pp. 13\u201319. Association for Computing Machinery (ACM), New York (2010)","DOI":"10.1145\/1837934.1837944"},{"issue":"297","key":"512_CR6","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1090\/mcom\/2969","volume":"85","author":"S Gao","year":"2016","unstructured":"Gao, S., Volny, F., IV., Wang, M.: A new framework for computing Gr\u00f6bner bases. Math. Comput. 85(297), 449\u2013465 (2016)","journal-title":"Math. Comput."},{"issue":"2\u20133","key":"512_CR7","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.M.: On an installation of Buchberger\u2019s algorithm. J. Symb. Comput. 6(2\u20133), 275\u2013286 (1988)","journal-title":"J. Symb. Comput."},{"key":"512_CR8","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P.: On the relation between Pommaret and Janet bases. In: Computer Algebra in Scientific Computing. CASC 2000. Proceedings of the 3rd Workshop, Samarkand, Uzbekistan, October 5\u20139, 2000, pp. 167\u2013181. Springer, Berlin (2000)","DOI":"10.1007\/978-3-642-57201-2_14"},{"key":"512_CR9","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"VP Gerdt","year":"1998","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive bases of polynomial ideals. Math. Comput. Simul. 45, 519\u2013542 (1998)","journal-title":"Math. Comput. Simul."},{"key":"512_CR10","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.jsc.2017.03.008","volume":"86","author":"A Hashemi","year":"2018","unstructured":"Hashemi, A., Schweinfurter, M., Seiler, W.M.: Deterministic genericity for polynomial ideals. J. Symb. Comput. 86, 20\u201350 (2018)","journal-title":"J. Symb. Comput."},{"key":"512_CR11","unstructured":"Izgin, T.: The involutive GVW algorithm and the computation of Pommaret bases. Master\u2019s thesis, University of Kassel, Germany (2020)"},{"key":"512_CR12","first-page":"65","volume":"3","author":"M Janet","year":"1920","unstructured":"Janet, M.: Sur les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. J. Math. Pure Appl. 3, 65\u2013151 (1920)","journal-title":"J. Math. Pure Appl."},{"key":"512_CR13","doi-asserted-by":"crossref","unstructured":"Lazard, D.: Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations. Computer algebra, EUROCAL \u201983, Proceedings Conference, London 1983, Lecture Notes Computer Science 162, pp. 146\u2013156 (1983)","DOI":"10.1007\/3-540-12868-9_99"},{"issue":"4","key":"512_CR14","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/s11424-013-2130-5","volume":"26","author":"D Li","year":"2013","unstructured":"Li, D., Liu, J., Liu, W., Zheng, L.: GVW algorithm over principal ideal domains. J. Syst. Sci. Complex. 26(4), 619\u2013633 (2013)","journal-title":"J. Syst. Sci. Complex."},{"issue":"1","key":"512_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s11424-019-8345-3","volume":"32","author":"T Li","year":"2019","unstructured":"Li, T., Sun, Y., Huang, Z., Wang, D., Lin, D.: Speeding up the GVW algorithm via a substituting method. J. Syst. Sci. Complex. 32(1), 205\u2013233 (2019)","journal-title":"J. Syst. Sci. Complex."},{"key":"512_CR16","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, H.M., Mora, T., Traverso, C.: Gr\u00f6bner bases computation using syzygies. In: International Symposium on Symbolic and Algebraic Computation 92. ISSAC 92. Berkeley, CA, USA, July 27\u201329, pp. 320\u2013328. ACM Press, Baltimore (1992)","DOI":"10.1145\/143242.143343"},{"key":"512_CR17","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s00200-009-0101-9","volume":"20","author":"WM Seiler","year":"2009","unstructured":"Seiler, W.M.: A combinatorial approach to involution and $$\\delta $$-regularity II: structure analysis of polynomial modules with Pommaret bases. Appl. Algebra Eng. Commun. Comput. 20, 261\u2013338 (2009)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"512_CR18","doi-asserted-by":"crossref","unstructured":"Seiler, W.M.: Involution\u2014The Formal Theory of Differential Equations and its Applications in Computer Algebra. Algorithms and Computation in Mathematics\u00a024. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-01287-7_2"},{"key":"512_CR19","doi-asserted-by":"crossref","unstructured":"Sim\u00f5es, B.: An Hilbert-Driven Strategy for Signature-Based Gr\u00f6bner Basis Algorithms. In: Future Vision and Trends on Shapes, Geometry and Algebra, pp. 13\u201337. Springer (2014)","DOI":"10.1007\/978-1-4471-6461-6_2"},{"key":"512_CR20","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.ffa.2016.06.002","volume":"41","author":"Y Sun","year":"2016","unstructured":"Sun, Y., Huang, Z., Wang, D., Lin, D.: An improvement over the GVW algorithm for inhomogeneous polynomial systems. Finite Fields Appl. 41, 174\u2013192 (2016)","journal-title":"Finite Fields Appl."},{"issue":"4\u20136","key":"512_CR21","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0378-4754(96)00006-7","volume":"42","author":"AY Zharkov","year":"1996","unstructured":"Zharkov, A.Y., Blinkov, Y.A.: Involution approach to investigating polynomial systems. Math. Comput. Simul. 42(4\u20136), 323\u2013332 (1996)","journal-title":"Math. Comput. Simul."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-021-00512-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-021-00512-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-021-00512-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T04:24:52Z","timestamp":1627014292000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-021-00512-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,7]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["512"],"URL":"https:\/\/doi.org\/10.1007\/s11786-021-00512-5","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,7]]},"assertion":[{"value":"18 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 June 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}