{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T02:43:05Z","timestamp":1776825785194,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747562","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"197-205","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Faster Algebraic Shifting"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1179-9862","authenticated-orcid":false,"given":"Antony","family":"Della Vecchia","sequence":"first","affiliation":[{"name":"TU Berlin, Berlin, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4974-9659","authenticated-orcid":false,"given":"Michael","family":"Joswig","sequence":"additional","affiliation":[{"name":"TU Berlin, Berlin, Germany and MPI MiS Leipzig, Leipzig, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9579-6854","authenticated-orcid":false,"given":"Fabian","family":"Lenzen","sequence":"additional","affiliation":[{"name":"TU Berlin, Berlin, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Annetta Aramova and J\u00fcrgen Herzog. 2000. Almost regular sequences and Betti numbers. American Journal of Mathematics 122 4 (2000) 689\u2013719. doi:10.1353\/ajm.2000.0025","DOI":"10.1353\/ajm.2000.0025"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Anders Bj\u00f6rner and Gil Kalai. 1988. An extended Euler-Poincar\u00e9 theorem. Acta Mathematica 161 3-4 (1988) 279\u2013303. doi:10.1007\/BF02392300","DOI":"10.1007\/BF02392300"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Anders Bj\u00f6rner and Frank\u00a0H. Lutz. 2000. Simplicial manifolds bistellar flips and a 16-vertex triangulation of the Poincar\u00e9 homology 3-sphere. Experiment. Math. 9 2 (2000) 275\u2013289. http:\/\/projecteuclid.org\/euclid.em\/1045952351","DOI":"10.1080\/10586458.2000.10504652"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-62127-7"},{"key":"e_1_3_3_2_6_2","volume-title":"AlgebraicShiftingBenchmarks","author":"Della\u00a0Vecchia Antony","unstructured":"Antony Della\u00a0Vecchia, Michael Joswig, and Fabian Lenzen. [n. d.]. AlgebraicShiftingBenchmarks. https:\/\/github.com\/dmg-lab\/AlgebraicShiftingBenchmarks"},{"key":"e_1_3_3_2_7_2","unstructured":"Antony Della\u00a0Vecchia Michael Joswig and Fabian Lenzen. 2024. Partial Algebraic Shifting. arxiv:https:\/\/arXiv.org\/abs\/2410.24044"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-64529-7_25"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Paul Erd\u0151s Chao Ko and Richard Rado. 1961. Intersection theorems for systems of finite sets. Quarterly Journal of Mathematics 12 (1961) 313\u2013320. doi:10.1093\/qmath\/12.1.313","DOI":"10.1093\/qmath\/12.1.313"},{"key":"e_1_3_3_2_10_2","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Surveys in Combinatorics","author":"Frankl Peter","year":"1987","unstructured":"Peter Frankl. 1987. The Shifting Technique in Extremal Set Theory. In Surveys in Combinatorics, C.\u00a0Whitehead (Ed.). Number 123 in London Mathematical Society Lecture Note Series. Cambridge University Press."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_2"},{"key":"e_1_3_3_2_12_2","unstructured":"Daniel\u00a0R. Grayson and Michael\u00a0E. Stillman. [n. d.]. Macaulay2 a software system for research in algebraic geometry. Available at http:\/\/www2.macaulay2.com."},{"key":"e_1_3_3_2_13_2","volume-title":"Algebraic topology","author":"Hatcher Allen","year":"2002","unstructured":"Allen Hatcher. 2002. Algebraic topology. Cambridge: Cambridge University Press."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Gil Kalai. 1984. Characterization of f-vectors of families of convex sets in Rd. I. Necessity of Eckhoff\u2019s conditions. Israel Journal of Mathematics 48 2\u20133 (1984) 175\u2013195. doi:10.1007\/BF02761163","DOI":"10.1007\/BF02761163"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Gil Kalai. 1986. Characterization of f-vectors of families of convex sets in Rd. II. Sufficiency of Eckhoff\u2019s conditions. J. Combin. Theory Ser. A 41 2 (1986) 167\u2013188. doi:10.1016\/0097-3165(86)90079-8","DOI":"10.1016\/0097-3165(86)90079-8"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Gil Kalai. 1990. Symmetric matroids. Journal of Combinatorial Theory 50 1 (1990) 54\u201364. doi:10.1016\/0095-8956(90)90096-I","DOI":"10.1016\/0095-8956(90)90096-I"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.2969\/aspm\/03310121"},{"key":"e_1_3_3_2_18_2","volume-title":"ext-shifting","author":"Keehn Aaron","unstructured":"Aaron Keehn. [n. d.]. ext-shifting. https:\/\/github.com\/ank1494\/ext-shifting"},{"key":"e_1_3_3_2_19_2","unstructured":"Aaron Keehn and Eran Nevo. 2024. Exterior Shifting of Low Genus Surfaces. arxiv:https:\/\/arXiv.org\/abs\/2405.12758\u00a0[math.CO]"},{"key":"e_1_3_3_2_20_2","volume-title":"The Manifold Page","author":"Lutz Frank\u00a0H.","year":"2011","unstructured":"Frank\u00a0H. Lutz. 2011. The Manifold Page. https:\/\/www3.math.tu-berlin.de\/IfM\/Nachrufe\/Frank_Lutz\/stellar\/surfaces.html"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Satoshi Murai and Takayuki Hibi. 2009. Algebraic shifting and graded Betti numbers. Trans. Amer. Math. Soc. 361 4 (2009) 1853\u20131865. doi:10.1090\/S0002-9947-08-04707-7","DOI":"10.1090\/S0002-9947-08-04707-7"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Eran Nevo. 2005. Algebraic shifting and basic constructions on simplicial complexes. Journal of Algebraic Combinatorics. An International Journal 22 4 (2005) 411\u2013433. doi:10.1007\/s10801-005-4626-0","DOI":"10.1007\/s10801-005-4626-0"},{"key":"e_1_3_3_2_23_2","volume-title":"OSCAR","year":"2024","unstructured":"The OSCAR Team 2024. OSCAR. The OSCAR Team. https:\/\/www.oscar-system.org"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","location":"Guanajuato Mexico","acronym":"ISSAC '25","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:14Z","timestamp":1762774754000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":22,"alternative-id":["10.1145\/3747199.3747562","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747562","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}