{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:12:01Z","timestamp":1761941521378,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032096449","type":"print"},{"value":"9783032096456","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-09645-6_15","type":"book-chapter","created":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:06:57Z","timestamp":1761941217000},"page":"265-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Support Bound for\u00a0Differential Elimination in\u00a0Polynomial Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Yulia","family":"Mukhina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gleb","family":"Pogudin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Ait El\u00a0Manssour, R., Sattelberger, A.L., Teguia\u00a0Tabuguia, B.: D-algebraic functions. J. Symb. Comput. 128, 102377 (2025). https:\/\/doi.org\/10.1016\/j.jsc.2024.102377","DOI":"10.1016\/j.jsc.2024.102377"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-15274-0_4","volume-title":"Computer Algebra in Scientific Computing","author":"T B\u00e4chler","year":"2010","unstructured":"B\u00e4chler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Thomas decomposition of algebraic and differential systems. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol. 6244, pp. 31\u201354. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15274-0_4"},{"issue":"10","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1016\/j.jsc.2011.12.043","volume":"47","author":"T B\u00e4chler","year":"2012","unstructured":"B\u00e4chler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47(10), 1233\u20131266 (2012). https:\/\/doi.org\/10.1016\/j.jsc.2011.12.043","journal-title":"J. Symb. Comput."},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation - ISSAC 1995 (1995). https:\/\/doi.org\/10.1145\/220346.220367","DOI":"10.1145\/220346.220367"},{"key":"15_CR5","unstructured":"Boulier, F.: BLAD: Biblioth\u00e8ques Lilloises d\u2019Alg\u00e8bre Diff\u00e9rentielle. https:\/\/pro.univ-lille.fr\/francois-boulier\/logiciels\/blad\/"},{"key":"15_CR6","unstructured":"Boulier, F.: DifferentialAlgebra. https:\/\/codeberg.org\/francois.boulier\/DifferentialAlgebra\/"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Boulier, F.: Differential elimination and biological modelling. In: Gr\u00f6bner Bases in Symbolic Analysis, pp. 109\u2013138. De Gruyter (2007). https:\/\/doi.org\/10.1515\/9783110922752.109","DOI":"10.1515\/9783110922752.109"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s00200-009-0091-7","volume":"20","author":"F Boulier","year":"2009","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Eng. Commun. Comput. 20(1), 73\u2013121 (2009). https:\/\/doi.org\/10.1007\/s00200-009-0091-7","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"15_CR9","unstructured":"Bourbaki, N.: \u00c9l\u00e9ments de math\u00e9matique: Les structures fondamentales de l\u2019analyse; Alg\u00e8bre; Polynomes et fractions rationnelles; Chapitre 5: Corps commutatifs. Hermann (1950)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: A criterion for detecting unnecessary reductions in the construction of gr\u00f6bner-bases. In: International Symposium on Symbolic and Algebraic Manipulation, pp. 3\u201321. Springer (1979)","DOI":"10.1007\/3-540-09519-5_52"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Cox, D., Little, J., O\u2019Shea, D., Sweedler, M.: Ideals, varieties, and algorithms, vol.\u00a03. Springer (1997)","DOI":"10.1007\/978-1-4757-2693-0"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1137\/22M1469067","volume":"7","author":"R Dong","year":"2023","unstructured":"Dong, R., Goodbrake, C., Harrington, H.A., Pogudin, G.: Differential elimination for dynamical models via projections with applications to structural identifiability. SIAM J. Appl. Algebra Geom. 7(1), 194\u2013235 (2023). https:\/\/doi.org\/10.1137\/22M1469067","journal-title":"SIAM J. Appl. Algebra Geom."},{"key":"15_CR13","doi-asserted-by":"publisher","unstructured":"Eisenbud, D.: Commutative Algebra, Graduate Texts in Mathematics, vol.\u00a0150. Springer, New York (1995). https:\/\/doi.org\/10.1007\/978-1-4612-5350-1","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"15_CR14","doi-asserted-by":"publisher","unstructured":"Fieker, C., Hart, W., Hofmann, T., Johansson, F.: Nemo\/Hecke: Computer algebra and number theory packages for the Julia programming language. In: Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, pp. 157\u2013164 (2017). https:\/\/doi.org\/10.1145\/3087604.3087611","DOI":"10.1145\/3087604.3087611"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Gawrilow, E., Joswig, M.: Polymake: a framework for analyzing convex polytopes. In: Polytopes\u2014Combinatorics and Computation, pp. 43\u201373. Springer (2000). https:\/\/doi.org\/10.1007\/978-3-0348-8438-9_2","DOI":"10.1007\/978-3-0348-8438-9_2"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.cpc.2018.07.025","volume":"234","author":"VP Gerdt","year":"2019","unstructured":"Gerdt, V.P., Lange-Hegermann, M., Robertz, D.: The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs. Comput. Phys. Commun. 234, 202\u2013215 (2019). https:\/\/doi.org\/10.1016\/j.cpc.2018.07.025","journal-title":"Comput. Phys. Commun."},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"Gerdt, V.P., Robertz, D.: Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems. In: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. ISSAC 2019 (2019). https:\/\/doi.org\/10.1145\/3326229.3326255","DOI":"10.1145\/3326229.3326255"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-51517-8_81","volume-title":"Eurocal \u201987","author":"DY Grigor\u2019ev","year":"1989","unstructured":"Grigor\u2019ev, D.Y.: Complexity of quantifier elimination in the theory of ordinary differential equations. In: Davenport, J.H. (ed.) EUROCAL 1987. LNCS, vol. 378, pp. 11\u201325. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/3-540-51517-8_81"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.jsc.2017.07.006","volume":"85","author":"R Gustavson","year":"2018","unstructured":"Gustavson, R., Ovchinnikov, A., Pogudin, G.: New order bounds in differential elimination algorithms. J. Symb. Comput. 85, 128\u2013147 (2018). https:\/\/doi.org\/10.1016\/j.jsc.2017.07.006","journal-title":"J. Symb. Comput."},{"issue":"9","key":"15_CR20","doi-asserted-by":"publisher","first-page":"1831","DOI":"10.1002\/cpa.21921","volume":"73","author":"H Hong","year":"2020","unstructured":"Hong, H., Ovchinnikov, A., Pogudin, G., Yap, C.: Global identifiability of differential models. Commun. Pure Appl. Math. 73(9), 1831\u20131879 (2020). https:\/\/doi.org\/10.1002\/cpa.21921","journal-title":"Commun. Pure Appl. Math."},{"issue":"4\u20135","key":"15_CR21","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E Hubert","year":"2000","unstructured":"Hubert, E.: Factorization-free decomposition algorithms in differential algebra. J. Symb. Comput. 29(4\u20135), 641\u2013662 (2000). https:\/\/doi.org\/10.1006\/jsco.1999.0344","journal-title":"J. Symb. Comput."},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Hubert, E.: Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems. In: Lecture Notes in Computer Science, pp. 40\u201387. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45084-x_2","DOI":"10.1007\/3-540-45084-x_2"},{"key":"15_CR23","unstructured":"Kauers, M., Pages, R.: Bounds for D-algebraic closure properties (2025). https:\/\/arxiv.org\/abs\/2505.07304"},{"issue":"2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10208-015-9249-9","volume":"15","author":"W Li","year":"2015","unstructured":"Li, W., Yuan, C.-M., Gao, X.-S.: Sparse differential resultant for laurent differential polynomials. Found. Comput. Math. 15(2), 451\u2013517 (2015). https:\/\/doi.org\/10.1007\/s10208-015-9249-9","journal-title":"Found. Comput. Math."},{"issue":"1","key":"15_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.mbs.2012.04.008","volume":"239","author":"N Meshkat","year":"2012","unstructured":"Meshkat, N., Anderson, C., DiStefano, J.J., III.: Alternative to Ritt\u2019s pseudodivision for finding the input-output equations of multi-output models. Math. Biosci. 239(1), 117\u2013123 (2012). https:\/\/doi.org\/10.1016\/j.mbs.2012.04.008","journal-title":"Math. Biosci."},{"key":"15_CR26","unstructured":"Mohr, R., Mukhina, Y.: On the computation of Newton polytopes of eliminants (2025). https:\/\/arxiv.org\/abs\/2502.05015"},{"key":"15_CR27","doi-asserted-by":"publisher","unstructured":"Moog, C., Perraud, J., Bentz, P., Vo, Q.: Prime differential ideals in nonlinear rational controls systems, pp. 17\u201321 (1990). https:\/\/doi.org\/10.1016\/B978-0-08-037022-4.50009-0","DOI":"10.1016\/B978-0-08-037022-4.50009-0"},{"issue":"2","key":"15_CR28","first-page":"101","volume":"24","author":"A Morgan","year":"1987","unstructured":"Morgan, A., Sommese, A.: A homotopy for solving general polynomial systems that respects m-homogeneous structures. Appl. Math. Comput. 24(2), 101\u2013113 (1987)","journal-title":"Appl. Math. Comput."},{"key":"15_CR29","unstructured":"Mukhina, Y., Pogudin, G.: Projecting dynamical systems via a support bound (2025). https:\/\/arxiv.org\/abs\/2501.13680"},{"key":"15_CR30","unstructured":"Oscar \u2013 open source computer algebra research system, version 1.0.0 (2024). https:\/\/www.oscar-system.org"},{"issue":"1","key":"15_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11139-021-00506-8","volume":"57","author":"A Pascadi","year":"2021","unstructured":"Pascadi, A.: Computer-assisted proofs of congruences for multipartitions and divisor function convolutions, based on methods of differential algebra. Ramanujan J. 57(1), 1\u201336 (2021). https:\/\/doi.org\/10.1007\/s11139-021-00506-8","journal-title":"Ramanujan J."},{"key":"15_CR32","unstructured":"Pogudin, G.: Lecture notes on differential algebra (2023). http:\/\/www.lix.polytechnique.fr\/Labo\/Gleb.POGUDIN\/files\/da_notes.pdf"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Ritt, J.F.: Differential equations from the algebraic standpoint. American Mathematical Society (1932). https:\/\/archive.org\/details\/differentialequa033050mbp","DOI":"10.1090\/coll\/014"},{"key":"15_CR34","doi-asserted-by":"publisher","unstructured":"Formal Algorithmic Elimination for PDEs. LNM, vol. 2121. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11445-3","DOI":"10.1007\/978-3-319-11445-3"},{"key":"15_CR35","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.aam.2015.07.002","volume":"72","author":"SL Rueda","year":"2016","unstructured":"Rueda, S.L.: Differential elimination by differential specialization of Sylvester style matrices. Adv. Appl. Math. 72, 4\u201337 (2016). https:\/\/doi.org\/10.1016\/j.aam.2015.07.002","journal-title":"Adv. Appl. Math."},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"Shafarevich, I.R., Reid, M.: Basic Algebraic Geometry, vol.\u00a02. Springer (1994)","DOI":"10.1007\/978-3-642-57956-1"},{"key":"15_CR37","unstructured":"Simmons, W., Platzer, A.: Differential elimination and algebraic invariants of polynomial dynamical systems (2023). https:\/\/arxiv.org\/abs\/2301.10935"},{"key":"15_CR38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2024.102348","volume":"126","author":"B Teguia Tabuguia","year":"2025","unstructured":"Teguia Tabuguia, B.: Arithmetic of D-algebraic functions. J. Symb. Comput. 126, 102348 (2025). https:\/\/doi.org\/10.1016\/j.jsc.2024.102348","journal-title":"J. Symb. Comput."},{"key":"15_CR39","doi-asserted-by":"publisher","unstructured":"Wang, D.: EPSILON: A library of software tools for polynomial elimination. In: Mathematical Software (2002). https:\/\/doi.org\/10.1142\/9789812777171_0040","DOI":"10.1142\/9789812777171_0040"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09645-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:07:09Z","timestamp":1761941229000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09645-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,1]]},"ISBN":["9783032096449","9783032096456"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09645-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,1]]},"assertion":[{"value":"1 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CASC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Computer Algebra in Scientific Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dubai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Arab Emirates","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"casc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/casc-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}