{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:58Z","timestamp":1750220458127,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"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":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465552","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"305-312","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Completion in Operads via Essential Syzygies"],"prefix":"10.1145","author":[{"given":"Philippe","family":"Malbos","sequence":"first","affiliation":[{"name":"Universit\u00e9 Claude Bernard Lyon 1, Lyon, France"}]},{"given":"Isaac","family":"Ren","sequence":"additional","affiliation":[{"name":"Ecole Normale Sup\u00e9rieure de Lyon, Lyon, France"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1986-0846601-5"},{"key":"e_1_3_2_1_2_1","volume-title":"On the homology of quotients of path algebras. Comm. Algebra, 15(1--2):309--341","author":"Anick David J.","year":"1987","unstructured":"David J. Anick and Edward L. Green. On the homology of quotients of path algebras. Comm. Algebra, 15(1--2):309--341, 1987."},{"key":"e_1_3_2_1_3_1","volume-title":"Bremner and Vladimir Dotsenko. Algebraic operads","author":"Murray","year":"2016","unstructured":"Murray R. Bremner and Vladimir Dotsenko. Algebraic operads. CRC Press, Boca Raton, FL, 2016. An algorithmic companion."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.09.007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309853"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1215\/00127094-2010-026"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4171\/dm\/412"},{"key":"e_1_3_2_1_8_1","volume-title":"Higher Koszul duality for associative algebras. Glasg. Math. J., 55(A):55--74","author":"Dotsenko Vladimir","year":"2013","unstructured":"Vladimir Dotsenko and Bruno Vallette. Higher Koszul duality for associative algebras. Glasg. Math. J., 55(A):55--74, 2013."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80048-8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.09.005"},{"key":"e_1_3_2_1_11_1","volume-title":"Convergent presentations and polygraphic resolutions of associative algebras. Math. Z., 293(1--2):113--179","author":"Guiraud Yves","year":"2019","unstructured":"Yves Guiraud, Eric Hoffbeck, and Philippe Malbos. Convergent presentations and polygraphic resolutions of associative algebras. Math. Z., 293(1--2):113--179, 2019."},{"key":"e_1_3_2_1_12_1","volume-title":"A Poincar\u00e9-Birkhoff-Witt criterion for Koszul operads. Manuscripta Math., 131(1--2):87--110","author":"Hoffbeck Eric","year":"2010","unstructured":"Eric Hoffbeck. A Poincar\u00e9-Birkhoff-Witt criterion for Koszul operads. Manuscripta Math., 131(1--2):87--110, 2010."},{"key":"e_1_3_2_1_13_1","volume-title":"Sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles. Journal de math\u00e9matiques pures et appliqu\u00e9es, 8(3):65--151","author":"Janet Maurice","year":"1920","unstructured":"Maurice Janet. Sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles. Journal de math\u00e9matiques pures et appliqu\u00e9es, 8(3):65--151, 1920."},{"key":"e_1_3_2_1_14_1","first-page":"263","volume-title":"Computational Problems in Abstract Algebra (Proc. Conf.","author":"Knuth Donald","year":"1967","unstructured":"Donald Knuth and Peter Bendix. Simple word problems in universal algebras. In Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), pages 263--297. Pergamon, Oxford, 1970."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404052"},{"key":"e_1_3_2_1_16_1","volume-title":"La renaissance des op\u00e9rades. Ast\u00e9risque, 237:Exp. No. 792, 3, 47--74","author":"Loday Jean-Louis","year":"1996","unstructured":"Jean-Louis Loday. La renaissance des op\u00e9rades. Ast\u00e9risque, 237:Exp. No. 792, 3, 47--74, 1996. S\u00e9minaire Bourbaki, Vol. 1994\/95."},{"key":"e_1_3_2_1_17_1","volume-title":"December","author":"Malbos Philippe","year":"2020","unstructured":"Philippe Malbos and Isaac Ren. Shuffle polygraphic resolutions for operads. preprint, arXiv:2012.15718, December 2020."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0067491"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90283-6"},{"key":"e_1_3_2_1_20_1","volume-title":"Secr\u00e9tariat Math\u00e9matique","author":"Nivat Maurice","year":"1973","unstructured":"Maurice Nivat. Congruences parfaites et quasi-parfaites. In S\u00e9minaire P. Dubreil, 25e ann\u00e9e (1971\/72), Alg\u00e8bre, Fasc. 1, Exp. No. 7, page 9. Secr\u00e9tariat Math\u00e9matique, Paris, 1973."},{"key":"e_1_3_2_1_21_1","volume-title":"Die berechnung von syzygien mit dem verallgemeinerten weierstrass'schen divisionssatz. Diplom Thesis","author":"Schreyer Frank-Olaf","year":"1980","unstructured":"Frank-Olaf Schreyer. Die berechnung von syzygien mit dem verallgemeinerten weierstrass'schen divisionssatz. Diplom Thesis, University of Hamburg, Germany, 1980, 1980."}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Virtual Event Russian Federation","acronym":"ISSAC '21"},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465552","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:08Z","timestamp":1750193288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":21,"alternative-id":["10.1145\/3452143.3465552","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465552","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}