{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T01:41:29Z","timestamp":1758591689005,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Division of Computing and Communication Foundationsm","award":["2212460, 1563942, 1564132"],"award-info":[{"award-number":["2212460, 1563942, 1564132"]}]},{"DOI":"10.13039\/501100006374","name":"Division of Mathematical Sciences","doi-asserted-by":"publisher","award":["1760448, 1853650, 1853482"],"award-info":[{"award-number":["1760448, 1853650, 1853482"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["22-CE48-0008"],"award-info":[{"award-number":["22-CE48-0008"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669695","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"234-243","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9063-1835","authenticated-orcid":false,"given":"Mariya","family":"Bessonov","sequence":"first","affiliation":[{"name":"CUNY NYC College of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4174-4968","authenticated-orcid":false,"given":"Ilia","family":"Ilmer","sequence":"additional","affiliation":[{"name":"CUNY Graduate Center, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9736-4246","authenticated-orcid":false,"given":"Tatiana","family":"Konstantinova","sequence":"additional","affiliation":[{"name":"Mathematics, CUNY Queens College, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8192-910X","authenticated-orcid":false,"given":"Alexey","family":"Ovchinnikov","sequence":"additional","affiliation":[{"name":"Mathematics, CUNY Queens College, USA and Ph.D. Programs in Mathematics and Computer Science, CUNY Graduate Center, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5731-8242","authenticated-orcid":false,"given":"Gleb","family":"Pogudin","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7120-7362","authenticated-orcid":false,"given":"Pedro","family":"Soto","sequence":"additional","affiliation":[{"name":"Ph.D. Program in Computer Science, CUNY Graduate Center, USA and University of Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M.\u00a0A. Al-Radhawi M. Sadeghi and E. Sontag. 2021. Long-term regulation of prolonged epidemic outbreaks in large populations via adaptive control: a singular perturbation approach. IEEE Control System Letters (2021).","DOI":"10.1109\/LCSYS.2021.3083983"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-4-11"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btw411"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"T. Becker and V. Weispfenning. 1993. Gr\u00f6bner bases. Springer New York NY.","DOI":"10.1007\/978-1-4612-0913-3"},{"volume-title":"2021 International Symposium on Symbolic and Algebraic Computation","author":"Berthomieu J.","key":"e_1_3_2_1_5_1","unstructured":"J. Berthomieu, C. Eder, and M. Safey El Din. 2021. msolve: A Library for Solving Polynomial Systems. In 2021 International Symposium on Symbolic and Algebraic Computation. Saint Petersburg, Russia, 51\u201358."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mbs.2015.10.012"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088222.1088224"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11538-009-9429-3"},{"key":"e_1_3_2_1_9_1","first-page":"7182","article-title":"Estimating vaccination threshold and impact in the 2017\u20132019 hepatitis A virus outbreak among persons experiencing homelessness or who use drugs in Louisville, Kentucky","volume":"39","author":"Dankwa E.","year":"2021","unstructured":"E. Dankwa, C. Donnelly, A. Brouwer, R. Zhao, M. Montgomery, M. Weng, and N. Martin. 2021. Estimating vaccination threshold and impact in the 2017\u20132019 hepatitis A virus outbreak among persons experiencing homelessness or who use drugs in Louisville, Kentucky, United States. Vaccine 39, 49 (2021), 7182\u20137190.","journal-title":"United States. Vaccine"},{"key":"e_1_3_2_1_10_1","unstructured":"S. Demignot and D. Domurado. 1987. Effect of prosthetic sugar groups on the pharmacokinetics of glucose-oxidase. Drug design and delivery 1 4 (1987) 333\u2013348."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/22M1469067"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2019.10.020"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-15-136"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3403981"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"volume-title":"Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. 189\u2013196","author":"Faug\u00e8re J.-C.","key":"e_1_3_2_1_17_1","unstructured":"J.-C. Faug\u00e8re, M. Safey El\u00a0Din, and T. Verron. 2013. On the complexity of computing Gr\u00f6bner bases for quasi-homogeneous systems. In Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. 189\u2013196."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.12.001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"D. Florescu and M. England. 2020. A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. In Mathematical Software \u2013 ICMS 2020(Lecture Notes in Computer Science Vol.\u00a012097). Springer 302\u2013311.","DOI":"10.1007\/978-3-030-52200-1_30"},{"key":"e_1_3_2_1_20_1","volume-title":"Oscillatory behavior in enzymatic control processes. Advances in enzyme regulation 3","author":"Goodwin C.","year":"1965","unstructured":"B.\u00a0C. Goodwin. 1965. Oscillatory behavior in enzymatic control processes. Advances in enzyme regulation 3 (1965), 425\u2013437."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bty1069"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.21921"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl485"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"I. Ilmer A. Ovchinnikov and G. Pogudin. 2021. Web-based Structural Identifiability Analyzer. In Computational Methods in Systems Biology(Lecture Notes in Computer Science Vol.\u00a012881). 254\u2013265.","DOI":"10.1007\/978-3-030-85633-5_17"},{"volume-title":"Good Pivots for Small Sparse Matrices. In Computer Algebra in Scientific Computing. CASC 2020(Lecture Notes in Computer Science, Vol.\u00a012291)","author":"Kauers M.","key":"e_1_3_2_1_25_1","unstructured":"M. Kauers and J. Moosbauer. 2020. Good Pivots for Small Sparse Matrices. In Computer Algebra in Scientific Computing. CASC 2020(Lecture Notes in Computer Science, Vol.\u00a012291). Springer, 358\u2013367."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/imanum\/drh016"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2004.01.001"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3390\/v13122441"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2020.12.001"},{"volume-title":"Effective formal resolution of systems of algebraic differential equations. Habilitation \u00e0 diriger des recherches","author":"Ollivier F.","key":"e_1_3_2_1_30_1","unstructured":"F. Ollivier. 2023. Effective formal resolution of systems of algebraic differential equations. Habilitation \u00e0 diriger des recherches. Institut Polytechnique de Paris. https:\/\/hal.science\/tel-04098759"},{"key":"e_1_3_2_1_31_1","unstructured":"A. Ovchinnikov. 2021. SIAN-Julia: Structural Identifiability Analyzer. https:\/\/github.com\/alexeyovchinnikov\/SIAN-Julia"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2021.105030"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3145571"},{"volume-title":"International Conference on Machine Learning. PMLR, 7575\u20137585","author":"Peifer D.","key":"e_1_3_2_1_34_1","unstructured":"D. Peifer, M. Stillman, and D. Halpern-Leistner. 2020. Learning selection strategies in Buchberger\u2019s algorithm. In International Conference on Machine Learning. PMLR, 7575\u20137585."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2023.102276"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btv405"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"X. Rey\u00a0Barreiro and A. Villaverde. 2023. Benchmarking tools for a priori identifiability analysis. Bioinformatics 39 2 (2023).","DOI":"10.1093\/bioinformatics\/btad065"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti799"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0532"},{"key":"e_1_3_2_1_40_1","volume-title":"Cancer Chemotherapy: Modeling Immune Recruitment and Emergence of Systemic Drug Resistance. Frontiers in Immunology","author":"Tran A.","year":"2020","unstructured":"A. Tran, M.\u00a0A. Al-Radhawi, I. Kareva, J. Wu, D. Waxman, and E. Sontag. 2020. Delicate Balances in Cancer Chemotherapy: Modeling Immune Recruitment and Emergence of Systemic Drug Resistance. Frontiers in Immunology (2020)."},{"key":"e_1_3_2_1_41_1","unstructured":"T. Verron. 2016. R\u00e9gularisation du calcul de bases de Gr\u00f6bner pour des syst\u00e8mes avec poids et d\u00e9terminantiels et application en imagerie m\u00e9dicale. Ph.\u00a0D. Dissertation. Paris 6."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"S. Zhang J. Ponce Z. Zhang G. Lin and G. Karniadakis. 2021. An integrated framework for building trustworthy data-driven epidemiological models: Application to the COVID-19 outbreak in New York City. PLoS Computational Biology 17 9 (2021).","DOI":"10.1371\/journal.pcbi.1009334"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-009-9690-x"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669695","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:53:40Z","timestamp":1758588820000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":43,"alternative-id":["10.1145\/3666000.3669695","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669695","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}