{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:47Z","timestamp":1762774847924,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-20-THIA-0014"],"award-info":[{"award-number":["ANR-20-THIA-0014"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747568","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"249-257","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Recent Advances on Integral Elimination"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7349-4396","authenticated-orcid":false,"given":"Fran\u00e7ois","family":"Lemaire","sequence":"first","affiliation":[{"name":"Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, Lille, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2129-1706","authenticated-orcid":false,"given":"Louis","family":"Roussel","sequence":"additional","affiliation":[{"name":"Univ. Lille, CNRS, Centrale Lille, UMR 9189 CRIStAL, Lille, France"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Leonid\u00a0A. Bokut Yuqun Chen and Xueming Deng. 2010. Gr\u00f6bner-Shirshov bases for Rota-Baxter algebras. Siberian Mathematical Journal 51 6 (01 11 2010) 978\u2013988. 10.1007\/s11202-010-0097-1","key":"e_1_3_3_2_2_2","DOI":"10.1007\/s11202-010-0097-1"},{"unstructured":"Fran\u00e7ois Boulier. 2023. The DifferentialAlgebra project. https:\/\/codeberg.org\/francois.boulier\/DifferentialAlgebra","key":"e_1_3_3_2_3_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_4_2","DOI":"10.1007\/978-3-319-10515-4_3"},{"doi-asserted-by":"publisher","unstructured":"Fran\u00e7ois Boulier Daniel Lazard Fran\u00e7ois Ollivier and Michel Petitot. 2009. Computing representations for radicals of finitely generated differential ideals. Applicable Algebra in Engineering Communication and Computing 20 1 (April 2009) 73\u2013121. 10.1007\/s00200-009-0091-7","key":"e_1_3_3_2_5_2","DOI":"10.1007\/s00200-009-0091-7"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_6_2","DOI":"10.1023\/B:NUMA.0000005366.05704.88"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_7_2","DOI":"10.1109\/CDC.1991.261405"},{"doi-asserted-by":"publisher","unstructured":"Ruiwen Dong Christian Goodbrake Heather\u00a0A. Harrington and Gleb Pogudin. 2023. Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability. SIAM Journal on Applied Algebra and Geometry 7 1 (2023) 194\u2013235. 10.1137\/22M1469067","key":"e_1_3_3_2_8_2","DOI":"10.1137\/22M1469067"},{"doi-asserted-by":"publisher","unstructured":"Jean-Pierre Duval. 1983. Factorizing words over an ordered alphabet. Journal of Algorithms 4 4 (1983) 363\u2013381. 10.1016\/0196-6774(83)90017-2","key":"e_1_3_3_2_9_2","DOI":"10.1016\/0196-6774(83)90017-2"},{"doi-asserted-by":"publisher","unstructured":"Michel Fliess. 1989. Automatique et corps diff\u00e9rentiels. Forum Mathematicum - FORUM MATH 1 (01 1989) 227\u2013238. 10.1515\/form.1989.1.227","key":"e_1_3_3_2_10_2","DOI":"10.1515\/form.1989.1.227"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_11_2","DOI":"10.1007\/978-3-642-54479-81"},{"unstructured":"Xing Gao Li Guo and Huhu Zhang. 2021. Rota\u2019s program on algebraic operators rewriting systems and Gr\u00f6bner-Shirshov bases. arxiv:https:\/\/arXiv.org\/abs\/2108.11823\u00a0[math.RA]","key":"e_1_3_3_2_12_2"},{"doi-asserted-by":"publisher","unstructured":"Vladimir\u00a0P. Gerdt Markus Lange-Hegermann and Daniel Robertz. 2019. The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs. Computer Physics Communications 234 (2019) 202\u2013215. 10.1016\/j.cpc.2018.07.025","key":"e_1_3_3_2_13_2","DOI":"10.1016\/j.cpc.2018.07.025"},{"key":"e_1_3_3_2_14_2","volume-title":"An Introduction to Rota-Baxter Algebra (vol. 4 in the Surveys of Modern Mathematics series) (paperback ed.)","author":"Guo Li","year":"2012","unstructured":"Li Guo. 2012. An Introduction to Rota-Baxter Algebra (vol. 4 in the Surveys of Modern Mathematics series) (paperback ed.). International Press of Boston, Incorporated. 238 pages."},{"key":"e_1_3_3_2_15_2","volume-title":"Differential Algebra and Algebraic Groups","author":"Kolchin Ellis\u00a0Robert","year":"1973","unstructured":"Ellis\u00a0Robert Kolchin. 1973. Differential Algebra and Algebraic Groups. Acad. Press. 446 pages."},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_16_2","DOI":"10.1007\/978-3-031-69070-913"},{"doi-asserted-by":"publisher","unstructured":"Fran\u00e7ois Lemaire and Louis Roussel. 2024. Parameter Estimation using Integral Equations. Maple Transactions 4 1 (June 2024). 10.5206\/mt.v4i1.17126","key":"e_1_3_3_2_17_2","DOI":"10.5206\/mt.v4i1.17126"},{"unstructured":"C\u00e9line Noiret. 2000. Utilisation du calcul formel pour l\u2019identifiabilit\u00e9 de mod\u00e8les param\u00e9triques et nouveaux algorithmes en estimation de param\u00e8tres. Ph.\u00a0D. Dissertation. Universit\u00e9 de Technologie de Compi\u00e8gne.","key":"e_1_3_3_2_18_2"},{"unstructured":"Fran\u00e7ois Ollivier. 1990. Le probl\u00e8me de l\u2019identifiabilit\u00e9 structurelle globale\u00a0: approche th\u00e9orique m\u00e9thodes effectives et bornes de complexit\u00e9. Ph.\u00a0D. Dissertation. \u00c9cole Polytechnique Palaiseau France.","key":"e_1_3_3_2_19_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_20_2","DOI":"10.1007\/978-3-030-38356-53"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_21_2","DOI":"10.1093\/oso\/9780198536796.001.0001"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_22_2","DOI":"10.1090\/coll\/033"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_23_2","DOI":"10.1145\/1390768.1390805"}],"event":{"sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC '25","name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","location":"Guanajuato Mexico"},"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.3747568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:38:52Z","timestamp":1762774732000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747568"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":22,"alternative-id":["10.1145\/3747199.3747568","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747568","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"}}]}}