{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T07:26:18Z","timestamp":1775201178901,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404047","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"83-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Compatible rewriting of noncommutative polynomials for proving operator identities"],"prefix":"10.1145","author":[{"given":"Cyrille","family":"Chenavier","sequence":"first","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Clemens","family":"Hofstadler","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Clemens G.","family":"Raab","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Georg","family":"Regensburger","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(78)90010-5"},{"key":"e_1_3_2_1_2_1","volume-title":"Imbeddings into simple associative algebras. Algebra i Logika 15","author":"Bokut' Leonid A.","year":"1976"},{"key":"e_1_3_2_1_3_1","volume-title":"Operads and universal algebra","author":"Bokut Leonid A."},{"issue":"2006","key":"e_1_3_2_1_4_1","first-page":"475","article-title":"Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Universit\u00e4t Innsbruck, Austria, Ph. D. Thesis (1965). English translation in J","volume":"41","author":"Buchberger Bruno","year":"1965","journal-title":"Symbolic Comput."},{"key":"e_1_3_2_1_5_1","first-page":"200","article-title":"Quiver representations","volume":"52","author":"Derksen Harm","year":"2005","journal-title":"Notices Amer. Math. Soc."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1112\/S0024610704005952"},{"key":"e_1_3_2_1_7_1","volume-title":"Computational methods for representations of groups and algebras (Essen","author":"Green Edward L.","year":"1997"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00209-018-2185-z"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/jfan.1998.3249"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.661584"},{"key":"e_1_3_2_1_11_1","volume-title":"Wavrik","author":"William Helton J.","year":"1994"},{"key":"e_1_3_2_1_12_1","volume-title":"Certifying operator identities and ideal membership of noncommutative polynomials. Master's thesis","author":"Hofstadler Clemens"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371991.3371996"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.07.011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(01)00382-2"},{"key":"e_1_3_2_1_16_1","unstructured":"Viktor Levandovskyy and Leonard Schmitz. 2020. Algorithmic algebraic proofs of identities between not only matrices. In preparation.  Viktor Levandovskyy and Leonard Schmitz. 2020. Algorithmic algebraic proofs of identities between not only matrices. In preparation."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90283-6"},{"key":"e_1_3_2_1_18_1","volume-title":"Solving polynomial equation systems","author":"Mora Teo"},{"key":"e_1_3_2_1_19_1","volume-title":"Formal proofs of operator identities by a single formal computation. arXiv:1910.06165v1 [math.RA]","author":"Raab Clemens G","year":"2019"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/0003681031000118981"}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","location":"Kalamata Greece","acronym":"ISSAC '20","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404047","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:46Z","timestamp":1750203886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":20,"alternative-id":["10.1145\/3373207.3404047","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404047","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}