{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:44:26Z","timestamp":1762775066872,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12101032"],"award-info":[{"award-number":["12101032"]}],"id":[{"id":"10.13039\/501100001809","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.3747553","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"114-122","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9066-5967","authenticated-orcid":false,"given":"Christian","family":"Boehmer","sequence":"first","affiliation":[{"name":"Department of Mathematics, University College London, London, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0541-0562","authenticated-orcid":false,"given":"Bo","family":"Huang","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7478-275X","authenticated-orcid":false,"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[{"name":"LIP6-CNRS, Sorbonne Universit\u00e9, Paris, France and LMIB - School of Artificial Intelligence, Beihang University, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6496-5197","authenticated-orcid":false,"given":"Xinyu","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Beihang University, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","volume-title":"Equivalence Problem for Systems of Second Order Ordinary Differential Equations","author":"Antonelli Peter\u00a0L.","year":"2000","unstructured":"Peter\u00a0L. Antonelli. 2000. Equivalence Problem for Systems of Second Order Ordinary Differential Equations. Encyclopedia of Mathematics, Kluwer Academic, Dordrecht."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0942-3"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8194-3"},{"key":"e_1_3_3_1_5_2","unstructured":"Valery Antonov Diana Doli\u0107anin Valery\u00a0G. Romanovski and J\u00e1nos T\u00f3th. 2016. Invariant planes and periodic oscillations in the May\u2013Leonard asymmetric model. MATCH Commun. Math. Comput. Chem. 76 (2016) 455\u2013474."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1268-3"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Christian\u00a0G. B\u00f6ehmer Tiberiu Harko and Sorin\u00a0V. Sabau. 2012. Jacobi stability analysis of dynamical systems \u2013 applications in gravitation and cosmology. Adv. Theor. Math. Phys. 16 (2012) 1145\u20131196.","DOI":"10.4310\/ATMP.2012.v16.n4.a2"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Boulier Mao\u00a0A. Han Fran\u00e7ois Lemaire and Valery\u00a0G. Romanovski. 2015. Qualitative investigation of a gene model using computer algebra algorithms. Program. Comput. Soft. 41 (2015) 105\u2013111.","DOI":"10.1134\/S0361768815020048"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Russell Bradford James\u00a0H. Davenport Matthew England Hassan Errami Vladimir Gerdt Dima Grigoriev Charles Hoyt Marek Ko\u0161ta Ovidiu Radulescu Thomas Sturm and Andreas Weber. 2020. Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98 (2020) 84\u2013119.","DOI":"10.1016\/j.jsc.2019.07.008"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"\u00c9lie Cartan. 1933. Observations sur le m\u00e9moire pr\u00e9c\u00e9dent. Math. Z. 37 (1933) 619\u2013622.","DOI":"10.1007\/BF01474603"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Chang\u00a0B. Chen Robert\u00a0M. Corless Marc\u00a0Moreno Maza Pei Yu and Yi\u00a0M. Zhang. 2013. An application of regular chain theory to the study of limit cycles. Int. J. Bifur. Chaos 23 (2013) 1350154\u20131\u201321.","DOI":"10.1142\/S021812741350154X"},{"key":"e_1_3_3_1_12_2","unstructured":"Shiing-Shen Chern. 1939. Sur la geometrie d\u2019un systeme d\u2019equations differentielles du second ordre. Bull. Sci. Math. 63 (1939) 206\u2013212."},{"key":"e_1_3_3_1_13_2","unstructured":"Mike Crampin Eduardo Mart\u00ednez and Willy Sarlet. 1996. Linear connections for systems of second-order ordinary differential equations. Ann. Inst. Henri Poincare 65 (1996) 223\u2013249."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Mohab Safey\u00a0El Din. 2007. Testing sign conditions on a multivariate polynomial and applications. Math. Comput. Sci. 1 (2007) 177\u2013207.","DOI":"10.1007\/s11786-007-0003-9"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Jesse Douglas. 1928. The general geometry of paths. Ann of Math. 29 (1928) 143\u2013169.","DOI":"10.2307\/1967989"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Manish\u00a0K. Gupta and Chiranjeev\u00a0K. Yadav. 2017. Jacobi stability analysis of R\u00f6ssler system. Int. J. Bifur. Chaos 27 (2017) 1750056\u20131\u201313.","DOI":"10.1142\/S0218127417500560"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Mao\u00a0A. Han and Valery\u00a0G. Romanovski. 2010. Estimating the number of limit cycles in polynomials systems. J. Math. Anal. Appl. 368 (2010) 491\u2013497.","DOI":"10.1016\/j.jmaa.2010.04.024"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Tiberiu Harko Chor\u00a0Y. Ho Chun\u00a0S. Leung and Stan Yip. 2015. Jacobi stability analysis of the Lorenz system. Int. J. Geom. Methods Mod. Phys. 12 (2015) 1550081\u20131\u201323.","DOI":"10.1142\/S0219887815500814"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Tiberiu Harko Praiboon Pantaragphong and Sorin\u00a0V. Sabau. 2016. Kosambi\u2013Cartan\u2013Chern (KCC) theory for higher-order dynamical systems. Int. J. Geom. Methods Mod. Phys. 13 (2016) 1650014\u20131\u201324.","DOI":"10.1142\/S0219887816500146"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Hoon Hong Richard Liska and Stanly Steinberg. 1997. Testing stability by quantifier elimination. J. Symb. Comput. 24 (1997) 161\u2013187.","DOI":"10.1006\/jsco.1997.0121"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Hoon Hong Xiao\u00a0X. Tang and Bi\u00a0C. Xia. 2015. Special algorithm for stability analysis of multistable biological regulatory systems. J. Symb. Comput. 70 (2015) 112\u2013135.","DOI":"10.1016\/j.jsc.2014.09.039"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Bo Huang Wei Niu and Dong\u00a0M. Wang. 2022. Symbolic computation for the qualitative theory of differential equations. Acta Math. Sci. 42B (2022) 2478\u20132504.","DOI":"10.1007\/s10473-022-0617-7"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3666000.3669689"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"M\u2019hammed\u00a0E. Kahoui and Andreas Weber. 2000. Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. J. Symb. Comput. 30 (2000) 161\u2013179.","DOI":"10.1006\/jsco.1999.0353"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Morris\u00a0S. Knebelman. 1929. Colineations and motions in generalized spaces. Amer. J. Math. 51 (1929) 527\u2013564.","DOI":"10.2307\/2370581"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Damodar\u00a0D. Kosambi. 1933. Parallelism and path-space. Math. Z. 37 (1933) 608\u2013818.","DOI":"10.1007\/BF01474602"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0093438"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Brad Lackey. 1999. A model of trophodynamics. Nonlinear Anal. 35 (1999) 37\u201357.","DOI":"10.1016\/S0362-546X(98)00097-2"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Matthew\u00a0J. Lake and Tiberiu Harko. 2016. Dynamical behavior and Jacobi stability analysis of wound strings. The European Physical Journal C 76 6 (2016) 311.","DOI":"10.1140\/epjc\/s10052-016-4148-z"},{"key":"e_1_3_3_1_30_2","volume-title":"The Theory of Matrices: With Applications","author":"Lancaster Peter","year":"1985","unstructured":"Peter Lancaster and Miron Tismenetsky. 1985. The Theory of Matrices: With Applications. Academic Press, London."},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Daniel Lazard and Fabrice Rouillier. 2007. Solving parametric polynomial systems. J. Symb. Comput. 42 (2007) 636\u2013667.","DOI":"10.1016\/j.jsc.2007.01.007"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Liviu Librescu Gianfranco Chiocchia and Piergiovanni Marzocca. 2003. Implications of cubic physical\/aerodynamic non-linearities on the character of the flutter instability boundary. International Journal of Non-Linear Mechanics 38 2 (2003) 173\u2013199.","DOI":"10.1016\/S0020-7462(01)00054-3"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Adam Mahdi Claudio Pessoa and Jonathan\u00a0D. Hauenstein. 2017. A hybrid symbolic-numerical approach to the center-focus problem. J. Symb. Comput. 82 (2017) 57\u201373.","DOI":"10.1016\/j.jsc.2016.11.019"},{"key":"e_1_3_3_1_34_2","volume-title":"Ordinary Differential Equations","author":"Miller Richard\u00a0K.","year":"1982","unstructured":"Richard\u00a0K. Miller and Anthony\u00a0N. Michel. 1982. Ordinary Differential Equations. Academic Press, New York London."},{"key":"e_1_3_3_1_35_2","volume-title":"The Center and Cyclicity Problems: A Computational Algebra Approach","author":"Romanovski Valery\u00a0G.","year":"2009","unstructured":"Valery\u00a0G. Romanovski and Douglas\u00a0S. Shafer. 2009. The Center and Cyclicity Problems: A Computational Algebra Approach. Birkh\u00e4user, Boston."},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"Sorin\u00a0V. Sabau. 2005. Some remarks on Jacobi stability. Nonlinear Anal. 63 (2005) 143\u2013153.","DOI":"10.1016\/j.na.2005.02.061"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"crossref","unstructured":"Sorin\u00a0V. Sabau. 2005. Systems biology and deviation curvature tensor. Nonlinear Anal. Real World Appl. 6 (2005) 563\u2013587.","DOI":"10.1016\/j.nonrwa.2004.12.012"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9727-2"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Thomas Sturm Andreas Weber Essam\u00a0O. Abdel-Rahman and M\u2019hammed\u00a0E. Kahoui. 2009. Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. Math. Comput. Sci. 2 (2009) 493\u2013515.","DOI":"10.1007\/s11786-008-0067-1"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"crossref","unstructured":"John\u00a0L. Synge. 1926. On the geometry of dynamics. Phil. Trans. Royal Soc. A 226 (1926) 31\u2013106.","DOI":"10.1098\/rsta.1927.0002"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"crossref","unstructured":"Virendra\u00a0K. Tewari and Niranjan Prasad. 1999. Three-DOF modelling of tractor seat-operator system. Journal of Terramechanics 36 (1999) 207\u2013219.","DOI":"10.1016\/S0022-4898(99)00008-7"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"crossref","unstructured":"Dong\u00a0M. Wang. 1991. Mechanical manipulation for a class of differential systems. J. Symb. Comput. 12 (1991) 233\u2013254.","DOI":"10.1016\/S0747-7171(08)80127-7"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073933"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"crossref","unstructured":"Lu Yang Xiao\u00a0R. Hou and Bi\u00a0C. Xia. 2001. A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China (Ser. F) 44 (2001) 33\u201349.","DOI":"10.1007\/BF02713938"},{"key":"e_1_3_3_1_45_2","unstructured":"Lu Yang and Bi\u00a0C. Xia. 2005. Real solution classifications of parametric semi-algebraic systems. In: Algorithmic Algebra and Logic \u2013 Proceedings of the A3L 2005 (A. Dolzmann A. Seidl and T. Sturm eds.) Herstellung und Verlag Norderstedt 281\u2013289."},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"crossref","unstructured":"Guo\u00a0Y. Zheng and Yi\u00a0R. Yang. 2008. Chaotic motions and limit cycle flutter of two-dimensional wing in supersonic flow. Acta Mechanica Solida Sinica 21 5 (2008) 441\u2013448.","DOI":"10.1007\/s10338-008-0853-y"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Guanajuato Mexico","acronym":"ISSAC '25"},"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.3747553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:55Z","timestamp":1762774795000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747553"}},"subtitle":["Jacobi Stability of Systems of Second Order ODEs"],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":45,"alternative-id":["10.1145\/3747199.3747553","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747553","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"}}]}}