{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T02:10:36Z","timestamp":1775614236336,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:00:00Z","timestamp":1562544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Group for Algebraic and Geometric Structures and their Applications","award":["GNSAGA - INdAM"],"award-info":[{"award-number":["GNSAGA - INdAM"]}]},{"name":"Ministerio de Economia Industria y Competitividad","award":["MTM2017-88804-P"],"award-info":[{"award-number":["MTM2017-88804-P"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326266","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"50-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Monomial Resolutions for Efficient Computation of Simplicial Homology"],"prefix":"10.1145","author":[{"given":"Anna M.","family":"Bigatti","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi di Genova, Genova, Italy"}]},{"given":"J\u00f3nathan","family":"Heras","sequence":"additional","affiliation":[{"name":"Universidad de La Rioja, Logro\u00f1o, Spain"}]},{"given":"Eduardo","family":"S\u00e1enz-de-Cabez\u00f3n","sequence":"additional","affiliation":[{"name":"Universidad de La Rioja, Logro\u00f1o, Spain"}]}],"member":"320","published-online":{"date-parts":[[2019,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"John Abbott and Anna M. Bigatti. {n. d.}. CoCoALib: a C"},{"key":"e_1_3_2_1_2_1","unstructured":"library for doing Computations in Commutative Algebra. Available at texttthttp:\/\/cocoa.dima.unige.it\/cocoalib ."},{"key":"e_1_3_2_1_3_1","unstructured":"John Abbott Anna M. Bigatti and Lorenzo Robbiano. {n. d.}. CoCoA: a system for doing Computations in Commutative Algebra. Available at http:\/\/cocoa.dima.unige.it ."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4310\/MRL.1998.v5.n1.a3"},{"key":"e_1_3_2_1_5_1","first-page":"193","article-title":"Cellular resolutions of monomial modules","volume":"502","author":"Bayer David","year":"1998","unstructured":"David Bayer and Bernd Sturmfels. 1998. Cellular resolutions of monomial modules. J. Reine Angew. Math., Vol. 502 (1998), 193--140.","journal-title":"J. Reine Angew. Math."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576710"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)00007-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1995.1270"},{"key":"e_1_3_2_1_9_1","volume-title":"Using Algebraic Geometry","author":"Cox David","unstructured":"David Cox, John Little, and D. Donald O'Shea. 1998. Using Algebraic Geometry .Springer Verlag."},{"key":"e_1_3_2_1_10_1","unstructured":"Wolfram Decker Gert-Martin Greuel Gerhard Pfister and Hans Sch\u00f6nemann. {n. d.}. Singular 4--1--1 -- A computer algebra system for polynomial computations. Available at http:\/\/www.singular.uni-kl.de ."},{"key":"e_1_3_2_1_11_1","unstructured":"Xavier Dousson Julio Rubio Francis Sergeraert and Yvon Siret. {n. d.}. The Kenzo program. Available at texttthttp:\/\/www-fourier.ujf-grenoble.fr\/textasciitilde sergerar\/Kenzo\/."},{"key":"e_1_3_2_1_12_1","volume-title":"Computing simplicial homology based on efficient Smith normal form algorithms","author":"Dumas Jean G.","unstructured":"Jean G. Dumas, Frank Heckenbach, David Saunders, and Volkmar Welker. 2003. Computing simplicial homology based on efficient Smith normal form algorithms. In Algebra, Geometry and Software Systems, M. Joswig and N. Takayama (Eds.). Springer Verlag, Berlin."},{"key":"e_1_3_2_1_13_1","volume-title":"S\u00e9minaire Lotharingien de Combinatoire","volume":"48","author":"Forman Robin","year":"2002","unstructured":"Robin Forman. 2002. A user's guide to discrete Morse theory. S\u00e9minaire Lotharingien de Combinatoire, Vol. 48 (2002), Article B48c."},{"key":"e_1_3_2_1_14_1","volume-title":"Connections between algebra, combinatorics and geometry","author":"Francisco Christopher A.","unstructured":"Christopher A. Francisco, Jeffrey Mermin, and Jay Schweig. 2014. A survey of Stanley-Reisner theory. In Connections between algebra, combinatorics and geometry, S. M. Cooper and S. Sather-Wagstaff (Eds.). Springer Verlag, Berlin, 209--234."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Herzog and Takayuki Hibi. 2011. Monomial Ideals .Springer Verlag.","DOI":"10.1007\/978-0-85729-106-6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4310\/HHA.2002.v4.n2.a13"},{"key":"e_1_3_2_1_17_1","volume-title":"Ring Theory II","author":"Hochster Melvin","unstructured":"Melvin Hochster. 1977. Cohen-Macaulay rings, combinatorics and simplicial complexs. In Ring Theory II, , J. R. McDonald and R. Morris (Eds.). Marcel Dekker, Berlin."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(88)90088-6"},{"key":"e_1_3_2_1_19_1","volume-title":"Combinatorial Commutative Algebra","author":"Miller Ezra","unstructured":"Ezra Miller and Bernd Sturmfels. 2004. Combinatorial Commutative Algebra .Springer Verlag, New York."},{"key":"e_1_3_2_1_20_1","volume-title":"Lectures on arrangements and cellular resolutions","author":"Orlik Peter","unstructured":"Peter Orlik and Volkmar Welker. 2007. Algebraic Combinatorics. Lectures on arrangements and cellular resolutions .Springer Verlag."},{"key":"e_1_3_2_1_21_1","unstructured":"The CHOMP Project. {n. d.}. Computational HOMology Project. Available at texttthttp:\/\/chomp.rutgers.edu\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.07.003"},{"key":"e_1_3_2_1_24_1","first-page":"5","article-title":"Multigraded Betti numbers without computing minimal free resolutions","volume":"20","author":"Cabez\u00f3n Eduardo","year":"2009","unstructured":"Eduardo S\u00e1enz-de-Cabez\u00f3n. 2009. Multigraded Betti numbers without computing minimal free resolutions. App. Algebra Engrg. Comm. Comput., Vol. 20:5--6 (2009), 481--495.","journal-title":"App. Algebra Engrg. Comm. Comput."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.06.001"},{"key":"e_1_3_2_1_26_1","unstructured":"Eduardo S\u00e1enz-de-Cabez\u00f3n and Francis Sergeraert. 2018. Effective mapping cone resolutions. preprint."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0221"},{"key":"e_1_3_2_1_28_1","unstructured":"Frank-Olaf Schreyer. 1980. Die Berechnung von Syzygien mit dem verallgemeinerten Weierstrassschen Divisionssatz. Diplomarbeit."},{"key":"e_1_3_2_1_29_1","first-page":"83","article-title":"A standard basis approach to syzygies of canonical curves","volume":"421","author":"Schreyer Frank-Olaf","year":"1991","unstructured":"Frank-Olaf Schreyer. 1991. A standard basis approach to syzygies of canonical curves. J. Reine Angew. Math., Vol. 421 (1991), 83--91.","journal-title":"J. Reine Angew. Math."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0573"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1613220.1613221"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s41980-018-0066-1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/sapm1975542135"},{"key":"e_1_3_2_1_34_1","unstructured":"Richard Stanley. 1996. Combinatorics and Commutative Algebra .Birkh\"auser."},{"key":"e_1_3_2_1_35_1","unstructured":"Daniel R. Grayson Michael E. Stillman. {n. d.}. Macaulay2 a software system for research in algebraic geometry. Available at http:\/\/www.math.uiuc.edu\/Macaulay2\/."},{"key":"e_1_3_2_1_37_1","unstructured":"The Sage Developers. 2018. SageMath the Sage Mathematics Software System (Version 8.2) . https:\/\/www.sagemath.org."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.06.001"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2007.10.011"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","location":"Beijing China","acronym":"ISSAC '19","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326266","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:00Z","timestamp":1750206360000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":37,"alternative-id":["10.1145\/3326229.3326266","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326266","relation":{},"subject":[],"published":{"date-parts":[[2019,7,8]]},"assertion":[{"value":"2019-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}