{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T09:09:21Z","timestamp":1776157761061,"version":"3.50.1"},"reference-count":43,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T00:00:00Z","timestamp":1770249600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"publisher","award":["516748464"],"award-info":[{"award-number":["516748464"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.jsc.2026.102565","type":"journal-article","created":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T16:04:39Z","timestamp":1770739479000},"page":"102565","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Finite Gr\u00f6bner bases for quantum symmetric groups"],"prefix":"10.1016","volume":"136","author":[{"given":"Leonard","family":"Schmitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0360-8569","authenticated-orcid":false,"given":"Marcel","family":"Wack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2026.102565_br0010","first-page":"e10","article-title":"Varieties of Signature Tensors","volume":"vol. 7","author":"Am\u00e9ndola","year":"2019"},{"issue":"1","key":"10.1016\/j.jsc.2026.102565_br0020","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1215\/21562261-2019-0077","article-title":"Homogeneous quantum groups and their easiness level","volume":"61","author":"Banica","year":"2021","journal-title":"Kyoto J. Math."},{"issue":"626","key":"10.1016\/j.jsc.2026.102565_br0030","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1515\/CRELLE.2009.003","article-title":"Quantum groups acting on 4 points","volume":"2009","author":"Banica","year":"2009","journal-title":"J. reine angew. Math."},{"issue":"2","key":"10.1016\/j.jsc.2026.102565_br0040","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/0001-8708(78)90010-5","article-title":"The diamond lemma for ring theory","volume":"29","author":"Bergman","year":"1978","journal-title":"Adv. Math."},{"issue":"3","key":"10.1016\/j.jsc.2026.102565_br0050","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1090\/S0002-9939-02-06798-9","article-title":"Quantum automorphism groups of finite graphs","volume":"131","author":"Bichon","year":"2003","journal-title":"Proc. Am. Math. Soc."},{"key":"10.1016\/j.jsc.2026.102565_br0060","doi-asserted-by":"crossref","DOI":"10.1016\/j.aim.2020.106982","article-title":"Topological generation and matrix models for quantum reflection groups","volume":"363","author":"Brannan","year":"2020","journal-title":"Adv. Math."},{"key":"10.1016\/j.jsc.2026.102565_br0070","series-title":"Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal","author":"Buchberger","year":"1965"},{"issue":"3","key":"10.1016\/j.jsc.2026.102565_br0080","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1137\/23M159024X","article-title":"The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures","volume":"8","author":"Clausel","year":"2024","journal-title":"SIAM J. Appl. Algebra Geom."},{"key":"10.1016\/j.jsc.2026.102565_br0090","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1016\/j.jalgebra.2024.11.036","article-title":"Quantum automorphisms of matroids","volume":"667","author":"Corey","year":"2025","journal-title":"J. Algebra"},{"key":"10.1016\/j.jsc.2026.102565_br0100","series-title":"Ideals, Varieties, and Algorithms","volume":"vol. 3","author":"Cox","year":"1997"},{"key":"10.1016\/j.jsc.2026.102565_br0110","series-title":"The Computer Algebra System OSCAR: Algorithms and Examples","first-page":"8","volume":"vol. 32","year":"2024"},{"key":"10.1016\/j.jsc.2026.102565_br0120","series-title":"Commutative Algebra: with a View Toward Algebraic Geometry","volume":"vol. 150","author":"Eisenbud","year":"2013"},{"key":"10.1016\/j.jsc.2026.102565_br0130","series-title":"Symbolic Rewriting Techniques","first-page":"93","article-title":"The non-commutative Gr\u00f6bner freaks","author":"Green","year":"1998"},{"issue":"2","key":"10.1016\/j.jsc.2026.102565_br0140","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1006\/jsco.1998.0245","article-title":"Monomial orderings, rewriting systems, and Gr\u00f6bner bases for the commutator ideal of a free algebra","volume":"27","author":"Hermiller","year":"1999","journal-title":"J. Symb. Comput."},{"issue":"2","key":"10.1016\/j.jsc.2026.102565_br0150","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/3371991.3371996","article-title":"Certifying operator identities via noncommutative Gr\u00f6bner bases","volume":"53","author":"Hofstadler","year":"2019","journal-title":"ACM Commun. Comput. Algebra"},{"key":"10.1016\/j.jsc.2026.102565_br0160","author":"Hofstadler"},{"key":"10.1016\/j.jsc.2026.102565_br0170","series-title":"Polyhedral and Algebraic Methods in Computational Geometry","author":"Joswig","year":"2013"},{"issue":"1","key":"10.1016\/j.jsc.2026.102565_br0180","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0747-7171(08)80003-X","article-title":"Non-commutative Gr\u00f6bner bases in algebras of solvable type","volume":"9","author":"Kandri-Rody","year":"1990","journal-title":"J. Symb. Comput."},{"issue":"1","key":"10.1016\/j.jsc.2026.102565_br0190","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0747-7171(88)80020-8","article-title":"Computing a Gr\u00f6bner basis of a polynomial ideal over an Euclidean domain","volume":"6","author":"Kandri-Rody","year":"1988","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102565_br0200","series-title":"Computational Commutative Algebra","volume":"vol. 1","author":"Kreuzer","year":"2000"},{"issue":"10","key":"10.1016\/j.jsc.2026.102565_br0210","doi-asserted-by":"crossref","first-page":"1374","DOI":"10.1016\/j.jsc.2009.03.002","article-title":"Letterplace ideals and non-commutative Gr\u00f6bner bases","volume":"44","author":"La Scala","year":"2009","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102565_br0220","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/j.jsc.2012.05.003","article-title":"Skew polynomial rings, Gr\u00f6bner bases and the letterplace embedding of the free associative algebra","volume":"48","author":"La Scala","year":"2013","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102565_br0230","unstructured":"Leonard Schmitz, Marcel Wack, 2025. Groebnerquantumsym.jl: v1.0.0."},{"key":"10.1016\/j.jsc.2026.102565_br0240","series-title":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, ISSAC '22","first-page":"311","article-title":"Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach","author":"Levandovskyy","year":"2022"},{"issue":"5","key":"10.1016\/j.jsc.2026.102565_br0250","doi-asserted-by":"crossref","DOI":"10.1016\/j.jfa.2020.108592","article-title":"Nonlocal games and quantum permutation groups","volume":"279","author":"Lupini","year":"2020","journal-title":"J. Funct. Anal."},{"key":"10.1016\/j.jsc.2026.102565_br0260","series-title":"Invitation to Nonlinear Algebra","volume":"vol. 211","author":"Micha\u0142ek","year":"2021"},{"issue":"1","key":"10.1016\/j.jsc.2026.102565_br0270","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0021-8693(86)90071-2","article-title":"New constructive methods in classical ideal theory","volume":"100","author":"M\u00f6ller","year":"1986","journal-title":"J. Algebra"},{"key":"10.1016\/j.jsc.2026.102565_br0280","series-title":"International Symposium on Symbolic and Algebraic Computation","first-page":"150","article-title":"Gr\u00f6bner bases in non-commutative algebras","author":"Mora","year":"1988"},{"key":"10.1016\/j.jsc.2026.102565_br0290","series-title":"Canonical Bases for Algebraic Computations","author":"Nordbeck","year":"2001"},{"key":"10.1016\/j.jsc.2026.102565_br0300","unstructured":"OSCAR \u2013 open source computer algebra research system, 2024."},{"issue":"2","key":"10.1016\/j.jsc.2026.102565_br0310","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1137\/18M1212331","article-title":"Learning paths from signature tensors","volume":"40","author":"Pfeffer","year":"2019","journal-title":"SIAM J. Matrix Anal. Appl."},{"issue":"1","key":"10.1016\/j.jsc.2026.102565_br0320","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1006\/jsco.1996.0040","article-title":"The ideal membership problem in non-commutative polynomial rings","volume":"22","author":"Pritchard","year":"1996","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102565_br0330","article-title":"Graph Algebras","volume":"vol. 103","author":"Raeburn","year":"2005"},{"key":"10.1016\/j.jsc.2026.102565_br0340","series-title":"EUROCAL '85","first-page":"513","article-title":"Term orderings on the polynomial ring","author":"Robbiano","year":"1985"},{"key":"10.1016\/j.jsc.2026.102565_br0350","series-title":"Intelligent Computer Mathematics","first-page":"222","article-title":"Formally verifying proofs for algebraic identities of matrices","author":"Schmitz","year":"2020"},{"issue":"6","key":"10.1016\/j.jsc.2026.102565_br0360","doi-asserted-by":"crossref","first-page":"1849","DOI":"10.1512\/iumj.2019.68.7791","article-title":"Quantum groups with partial commutation relations","volume":"68","author":"Speicher","year":"2019","journal-title":"Indiana Univ. Math. J."},{"key":"10.1016\/j.jsc.2026.102565_br0370","series-title":"Gr\u00f6bner Bases and Convex Polytopes","volume":"vol. 8","author":"Sturmfels","year":"1996"},{"key":"10.1016\/j.jsc.2026.102565_br0380","article-title":"Solving Systems of Polynomial Equations","volume":"vol. 97","author":"Sturmfels","year":"2002"},{"key":"10.1016\/j.jsc.2026.102565_br0390","series-title":"Algebraic Statistics","volume":"vol. 194","author":"Sullivant","year":"2023"},{"key":"10.1016\/j.jsc.2026.102565_br0400","doi-asserted-by":"crossref","DOI":"10.4171\/043","article-title":"An Invitation to Quantum Groups and Duality","author":"Timmermann","year":"2008"},{"key":"10.1016\/j.jsc.2026.102565_br0410","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s002200050385","article-title":"Quantum symmetry groups of finite spaces","volume":"195","author":"Wang","year":"1998","journal-title":"Commun. Math. Phys."},{"issue":"4","key":"10.1016\/j.jsc.2026.102565_br0420","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/BF01219077","article-title":"Compact matrix pseudogroups","volume":"111","author":"Woronowicz","year":"1987","journal-title":"Commun. Math. Phys."},{"issue":"1","key":"10.1016\/j.jsc.2026.102565_br0430","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00414633","article-title":"A remark on compact matrix quantum groups","volume":"21","author":"Woronowicz","year":"1991","journal-title":"Lett. Math. Phys."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717126000131?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717126000131?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T08:17:57Z","timestamp":1776154677000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717126000131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":43,"alternative-id":["S0747717126000131"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2026.102565","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Finite Gr\u00f6bner bases for quantum symmetric groups","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jsc.2026.102565","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}],"article-number":"102565"}}