{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T07:47:01Z","timestamp":1723276021326},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T00:00:00Z","timestamp":1597363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T00:00:00Z","timestamp":1597363200000},"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-00448-6","type":"journal-article","created":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T20:03:10Z","timestamp":1597435390000},"page":"359-387","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Toward involutive bases over effective rings"],"prefix":"10.1007","volume":"31","author":[{"given":"Michela","family":"Ceria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teo","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,14]]},"reference":[{"key":"448_CR1","unstructured":"Apel, J.: Gr\u00f6bnerbasen in Nichetkommutativen Algebren und ihre Anwendung. Dissertation, Leipzig (1988)"},{"key":"448_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(00)00172-9","volume":"224","author":"J Apel","year":"2000","unstructured":"Apel, J.: Computational ideal theory in finitely generated extension rings. Theor. Comput. Sci. 224, 1\u201333 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"448_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.jsc.2012.07.006","volume":"50","author":"C Bertone","year":"2013","unstructured":"Bertone, C., Cioffi, F., Lella, P., Roggero, M.: Upgraded methods for the effective computation of marked schemes on a strongly stable ideal. J. Symb. Comput. 50, 263\u2013290 (2013)","journal-title":"J. Symb. Comput."},{"key":"448_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.jsc.2013.01.001","volume":"53","author":"C Bertone","year":"2013","unstructured":"Bertone, C., Lella, P., Roggero, M.: A Borel open cover of the Hilbert scheme. J. Symb. Comput. 53, 119\u2013135 (2013)","journal-title":"J. Symb. Comput."},{"issue":"05","key":"448_CR5","doi-asserted-by":"publisher","first-page":"1750100","DOI":"10.1142\/S0219498817501006","volume":"16","author":"C Bertone","year":"2017","unstructured":"Bertone, C., Cioffi, F., Roggero, M.: Macaulay-like marked bases. J. Algebra Its Appl. 16(05), 1750100 (2017)","journal-title":"J. Algebra Its Appl."},{"issue":"1","key":"448_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s10231-016-0560-0","volume":"196","author":"C Bertone","year":"2017","unstructured":"Bertone, C., Cioffi, F., Roggero, M.: Double-generic initial ideal and Hilbert scheme. Annali di Matematica Pura ed Applicata 196(1), 19\u201341 (2017)","journal-title":"Annali di Matematica Pura ed Applicata"},{"key":"448_CR7","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2019.1592034","author":"C Bertone","year":"2019","unstructured":"Bertone, C., Cioffi, F., Roggero, M.: Smoothable Gorenstein points via marked schemes and double-generic initial ideals. Exp. Math. (2019). https:\/\/doi.org\/10.1080\/10586458.2019.1592034","journal-title":"Exp. Math."},{"key":"448_CR8","first-page":"3","volume":"72","author":"B Buchberger","year":"1979","unstructured":"Buchberger, B.: A criterion for detecting unnecessary reduction in the construction of Gr\u00f6bner bases. L. N. Comp. Sci. 72, 3\u201321 (1979)","journal-title":"L. N. Comp. Sci."},{"key":"448_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0285-0","volume-title":"Methods in Non-commutative Algebra","author":"J Bueso","year":"2003","unstructured":"Bueso, J., Gomez-Torrecillas, J., Verschoren, A.: Methods in Non-commutative Algebra. Kluwer, Dordrecht (2003)"},{"issue":"12","key":"448_CR10","doi-asserted-by":"publisher","first-page":"2974","DOI":"10.1016\/j.jpaa.2017.02.011","volume":"221","author":"M Ceria","year":"2017","unstructured":"Ceria, M., Mora, T.: Buchberger\u2013Zacharias theory of multivariate ore extensions. J. Pure Appl. Algebra 221(12), 2974\u20133026 (2017)","journal-title":"J. Pure Appl. Algebra"},{"key":"448_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.jsc.2014.09.005","volume":"68","author":"M Ceria","year":"2015","unstructured":"Ceria, M., Mora, T., Roggero, M.: Term-ordering free involutive bases. J. Symb. Comput. 68, 87\u2013108 (2015)","journal-title":"J. Symb. Comput."},{"key":"448_CR12","unstructured":"Ceria, M.: Combinatorial decompositions for monomial ideals, submitted"},{"key":"448_CR13","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.jsc.2016.11.008","volume":"83","author":"M Ceria","year":"2017","unstructured":"Ceria, M., Mora, T.: Buchberger-Weispfenning theory for effective associative rings. J. Symb. 83, 112\u2013146 (2017)","journal-title":"J. Symb."},{"issue":"9","key":"448_CR14","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1016\/j.jsc.2011.05.009","volume":"46","author":"F Cioffi","year":"2011","unstructured":"Cioffi, F., Roggero, M.: Flat families by strongly stable ideals and a generalization of Gr\u00f6bner bases. J. Symb. Comput. 46(9), 1070\u20131084 (2011)","journal-title":"J. Symb. Comput."},{"key":"448_CR15","doi-asserted-by":"crossref","unstructured":"Donato, L., Traverso, C.: Experimenting the Gr\u00f6bner basis algorithm with AlP I system. In: Proceedings ISSAC \u201989, pp. 192\u2013198. ACM (1989)","DOI":"10.1145\/74540.74564"},{"key":"448_CR16","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 Buchbgerger\u2019s algorithm. J. Symb. Comput. 6, 275\u2013286 (1988)","journal-title":"J. Symb. Comput."},{"key":"448_CR17","doi-asserted-by":"crossref","unstructured":"Gebauer, R., M\u00f6ller, H.M.: Buchberger\u2019s algorithm and staggered linear bases. In: Proceedings of SYMSAC\u201986. ACM, pp. 218\u2013221(1986)","DOI":"10.1145\/32439.32482"},{"key":"448_CR18","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1016\/S0378-4754(97)00128-6","volume":"45","author":"VP Gerdt","year":"1998","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive bases of Polynomial Ideals. Math. Comput. Simul. 45, 543\u2013560 (1998)","journal-title":"Math. Comput. Simul."},{"key":"448_CR19","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.: Minimal involutive bases. Math. Comput. Simul. 45, 519\u2013541 (1998)","journal-title":"Math. Comput. Simul."},{"key":"448_CR20","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Janet-like monomial division. In: International Workshop on Computer Algebra in Scientific Computing. Springer, Berlin (2005)","DOI":"10.1007\/11555964_15"},{"key":"448_CR21","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Janet-like Groebner bases. In: International Workshop on Computer Algebra in Scientific Computing. Springer, Berlin (2005)","DOI":"10.1007\/11555964_16"},{"key":"448_CR22","doi-asserted-by":"crossref","unstructured":"Gerdt, V., Blinkov, Y., Yanovich, D.: Construction of Janet Bases I. Monomial Bases. In: Computer Algebra in Scientific Computing CASC, pp. 233\u2013247 (2001)","DOI":"10.1007\/978-3-642-56666-0_18"},{"key":"448_CR23","first-page":"97","volume":"9","author":"N Gunther","year":"1941","unstructured":"Gunther, N.: Sur les modules des formes alg\u00e9briques Trudy Tbilis. Mat. Inst. 9, 97\u2013206 (1941)","journal-title":"Mat. Inst."},{"key":"448_CR24","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":"448_CR25","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0747-7171(88)80020-8","volume":"6","author":"A Kandri-Rody","year":"1990","unstructured":"Kandri-Rody, A., Kapur, D.: Computing the Gr\u00f6bner basis of an ideal in polynomail rings over a Euclidean ring. J. Symb. Comput. 6, 37\u201356 (1990)","journal-title":"J. Symb. Comput."},{"key":"448_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0747-7171(08)80003-X","volume":"9","author":"A Kandri-Rody","year":"1990","unstructured":"Kandri-Rody, A., Weispfenning, W.: Non-commutative Gr\u00f6bner Bases in Algebras of Solvable Type. J. Symb. Comput. 9, 1\u201326 (1990)","journal-title":"J. Symb. Comput."},{"key":"448_CR27","unstructured":"Kredel, H.: Solvable Polynomial rings. Dissertation. Passau (1992)"},{"key":"448_CR28","unstructured":"Levandovskyy, V.G.: Non-commutative Computer Algebra for Polynomial Algebras: Gr\u00f6bner Bases, Applications and ImplementationDissertation, Kaiserslautern (2005) http:\/\/kluedo.ub.uni-kl.de\/volltexte\/2005\/1883\/"},{"key":"448_CR29","doi-asserted-by":"crossref","unstructured":"Levandovskyy, V.G.: PBW Bases, Non-Degeneracy Conditions and Applications In: Buchweitz, R.-O., Lenzing, H. (Eds.), Representation of Algebras and Related Topics (Proceedings of the ICRA X Conference), 45. AMS. Fields Institute Communications, pp. 229\u2013246","DOI":"10.1090\/fic\/045\/18"},{"key":"448_CR30","doi-asserted-by":"crossref","unstructured":"Mora, F.: De Nugis Groebnerialium 4: Zacharias, Spears, M\u00f6ller Proc. ISSAC\u201915. ACM, pp. 191\u2013198 (2015)","DOI":"10.1145\/2755996.2756640"},{"key":"448_CR31","doi-asserted-by":"crossref","unstructured":"Mora, T.: Solving Polynomial Equation Systems 4 Vols., Cambridge University Press, I (2003), II (2005), III (2015), IV (2016)","DOI":"10.1017\/CBO9781107340954"},{"key":"448_CR32","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.jsc.2019.04.002","volume":"99","author":"T Mora","year":"2020","unstructured":"Mora, T.: Zacharias representation of effective associative rings. J. Symb. Comput. 99, 147\u2013188 (2020)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"448_CR33","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(94)90283-6","volume":"134","author":"T Mora","year":"1994","unstructured":"Mora, T.: An introduction to commutative and noncommutative Gr\u00f6bner bases. Theor. Comput. Sci. 134(1), 131\u2013173 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"448_CR34","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0747-7171(88)80052-X","volume":"6","author":"HM M\u00f6ller","year":"1988","unstructured":"M\u00f6ller, H.M.: On the construction of Gr\u00f6bner bases using syzygies. J. Symb. Comput. 6, 345\u2013359 (1988)","journal-title":"J. Symb. Comput."},{"key":"448_CR35","doi-asserted-by":"publisher","unstructured":"Nguefack, B., Pola, E.: Effective Buchberger\u2013Zacharias\u2013Weispfenning theory of skew polynomial extensions of restricted bilateral coherent rings. J. Symb. Comput. (in press) https:\/\/doi.org\/10.1016\/j.jsc.2019.03.003","DOI":"10.1016\/j.jsc.2019.03.003"},{"key":"448_CR36","doi-asserted-by":"publisher","first-page":"480","DOI":"10.2307\/1968173","volume":"34","author":"O Ore","year":"1933","unstructured":"Ore, O.: Theory of non-commutative polynomials. Ann. Math. 34, 480\u2013508 (1933)","journal-title":"Ann. Math."},{"key":"448_CR37","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0747-7171(89)80006-9","volume":"7","author":"L Pan","year":"1988","unstructured":"Pan, L.: On the D-bases of polynomial ideals over principal ideal domains. J. Symb. Comput. 7, 55\u201369 (1988)","journal-title":"J. Symb. Comput."},{"key":"448_CR38","unstructured":"Pesch, M.: Gr\u00f6bner Bases in Skew Polynomial Rings. Dissertation, Passau (1997)"},{"key":"448_CR39","first-page":"225","volume":"15","author":"M Pesch","year":"1991","unstructured":"Pesch, M.: Two-sided Gr\u00f6bner bases in iterated ore extensions. Prog. Comput. Sci. Appl. Logic 15, 225\u2013243 (1991)","journal-title":"Prog. Comput. Sci. Appl. Logic"},{"key":"448_CR40","unstructured":"Pritchard, F.L.: A syzygies approach to non-commutative Gr\u00f6bner bases. Preprint (1994)"},{"key":"448_CR41","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1006\/jsco.1996.0040","volume":"22","author":"FL Pritchard","year":"1996","unstructured":"Pritchard, F.L.: The ideal membership problem in non-commutative polynomial rings. J. Symb. Comput. 22, 27\u201348 (1996)","journal-title":"J. Symb. Comput."},{"key":"448_CR42","volume-title":"A systematic Study of Gr\u00f6bner Basis Methods","author":"B Reinert","year":"2003","unstructured":"Reinert, B.: A systematic Study of Gr\u00f6bner Basis Methods. Habilitation, Kaiserslautern (2003)"},{"key":"448_CR43","doi-asserted-by":"publisher","first-page":"1264","DOI":"10.1016\/j.jsc.2005.01.010","volume":"41","author":"B Reinert","year":"2006","unstructured":"Reinert, B.: Gr\u00f6bner bases in function ring\u2014a guide for introducing reduction relations to algebraic structures. J. Symb. Comput. 41, 1264\u201394 (2006)","journal-title":"J. Symb. Comput."},{"key":"448_CR44","volume-title":"Die Berechnung von Syzygien mit dem verallgemeinerten Weierstrass\u2019schen Divisionsatz","author":"FO Schreyer","year":"1980","unstructured":"Schreyer, F.O.: Die Berechnung von Syzygien mit dem verallgemeinerten Weierstrass\u2019schen Divisionsatz. Diplomarbait, Hamburg (1980)"},{"key":"448_CR45","first-page":"83","volume":"421","author":"FO Schreyer","year":"1991","unstructured":"Schreyer, F.O.: A standard basis approach to syzygies of canonical curves. J. Reine Angew. Math. 421, 83\u2013123 (1991)","journal-title":"J. Reine Angew. Math."},{"key":"448_CR46","doi-asserted-by":"crossref","unstructured":"Schwartz, F.: Reduction and completion algorithm for partial differential equations. In: Proceedings of ISSAC\u201992. ACM, pp. 49\u201356 (1992)","DOI":"10.1145\/143242.143265"},{"key":"448_CR47","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s00200-009-0098-0","volume":"20","author":"WM Seiler","year":"2009","unstructured":"Seiler, W.M.: A combinatorial approach to involution and $$\\delta $$-Regularity I: involutive bases in polynommial algebras of solvable type. J. AAECC 20, 207\u2013259 (2009)","journal-title":"J. AAECC"},{"key":"448_CR48","unstructured":"Spear, D.A.: A constructive approach to commutative ring theory. In: Proceedings of the 1977 MACSYMA Users\u2019 Conference, NASA CP-2012 , pp. 369\u2013376 (1977)"},{"key":"448_CR49","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1090\/S0002-9904-1948-08972-8","volume":"54","author":"D Tamari","year":"1948","unstructured":"Tamari, D.: On a certain classification of rings and semigroups. Bull. Am. Math. Soc. 54, 153\u2013158 (1948)","journal-title":"Bull. Am. Math. Soc."},{"key":"448_CR50","doi-asserted-by":"crossref","unstructured":"Weispfenning, V.: Finite Gr\u00f6bner bases in non-noetherian skew polynomial rings. In: Proceedings of ISSAC\u201992. ACM, pp. 320\u2013332 (1992)","DOI":"10.1145\/143242.143346"},{"key":"448_CR51","unstructured":"Zacharias, G.: Generalized Gr\u00f6bner bases in commutative polynomial rings, Bachelor\u2019s thesis, MIT (1978)"},{"key":"448_CR52","first-page":"389","volume":"143","author":"A Zarkov","year":"1996","unstructured":"Zarkov, A.: Solving zero-dimensional involutive systems. Prog. Math. 143, 389\u2013399 (1996)","journal-title":"Prog. Math."},{"key":"448_CR53","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0378-4754(96)00006-7","volume":"42","author":"A Zarkov","year":"1996","unstructured":"Zarkov, A., Blinkov, Y.: Involution approach to investing polynomial systems. Math. Comput. Simul. 42, 323\u2013332 (1996)","journal-title":"Math. Comput. Simul."}],"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-00448-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00200-020-00448-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-020-00448-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:38:15Z","timestamp":1667781495000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00200-020-00448-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,14]]},"references-count":53,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["448"],"URL":"https:\/\/doi.org\/10.1007\/s00200-020-00448-6","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,14]]},"assertion":[{"value":"16 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 May 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 August 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}