{"id":"https://openalex.org/W7104579273","doi":"https://doi.org/10.1145/3747199.3747553","title":"Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations","display_name":"Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations","publication_year":2025,"publication_date":"2025-07-28","ids":{"openalex":"https://openalex.org/W7104579273","doi":"https://doi.org/10.1145/3747199.3747553"},"language":"en","primary_location":{"id":"doi:10.1145/3747199.3747553","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747553","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747553","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747553","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Christian Boehmer","orcid":"https://orcid.org/0000-0002-9066-5967"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Christian Boehmer","raw_affiliation_strings":["Department of Mathematics, University College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-9066-5967","affiliations":[{"raw_affiliation_string":"Department of Mathematics, University College London, London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bo Huang","orcid":"https://orcid.org/0000-0003-0541-0562"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Huang","raw_affiliation_strings":["School of Mathematical Sciences, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-0541-0562","affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dongming Wang","orcid":"https://orcid.org/0000-0002-7478-275X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Dongming Wang","raw_affiliation_strings":["LIP6-CNRS, Sorbonne Universit\u00e9, Paris, France and LMIB - School of Artificial Intelligence, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-7478-275X","affiliations":[{"raw_affiliation_string":"LIP6-CNRS, Sorbonne Universit\u00e9, Paris, France and LMIB - School of Artificial Intelligence, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210100255"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xinyu Wang","orcid":"https://orcid.org/0009-0002-6496-5197"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyu Wang","raw_affiliation_strings":["School of Mathematical Sciences, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0002-6496-5197","affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.53997906,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"114","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.16820000112056732,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.16820000112056732,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.12520000338554382,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13080","display_name":"Advanced Differential Geometry Research","score":0.11620000004768372,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.6134999990463257},{"id":"https://openalex.org/keywords/jacobi-method","display_name":"Jacobi method","score":0.5182999968528748},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.5113000273704529},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.5085999965667725},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.5024999976158142},{"id":"https://openalex.org/keywords/airfoil","display_name":"Airfoil","score":0.49639999866485596},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47380000352859497},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.45500001311302185},{"id":"https://openalex.org/keywords/maple","display_name":"Maple","score":0.41999998688697815}],"concepts":[{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.6134999990463257},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5644999742507935},{"id":"https://openalex.org/C67923128","wikidata":"https://www.wikidata.org/wiki/Q1481893","display_name":"Jacobi method","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.5113000273704529},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5085999965667725},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.5024999976158142},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4993000030517578},{"id":"https://openalex.org/C112124176","wikidata":"https://www.wikidata.org/wiki/Q4698744","display_name":"Airfoil","level":2,"score":0.49639999866485596},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47380000352859497},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.45500001311302185},{"id":"https://openalex.org/C2780414537","wikidata":"https://www.wikidata.org/wiki/Q42292","display_name":"Maple","level":2,"score":0.41999998688697815},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.4180000126361847},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.4113999903202057},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.3837999999523163},{"id":"https://openalex.org/C11210021","wikidata":"https://www.wikidata.org/wiki/Q1520713","display_name":"Linearization","level":3,"score":0.35179999470710754},{"id":"https://openalex.org/C87698059","wikidata":"https://www.wikidata.org/wiki/Q1808960","display_name":"LTI system theory","level":3,"score":0.328900009393692},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.3273000121116638},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32510000467300415},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.290800005197525},{"id":"https://openalex.org/C186219872","wikidata":"https://www.wikidata.org/wiki/Q955889","display_name":"Differential algebraic equation","level":4,"score":0.2743000090122223},{"id":"https://openalex.org/C200331156","wikidata":"https://www.wikidata.org/wiki/Q506041","display_name":"Jacobian matrix and determinant","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C181582579","wikidata":"https://www.wikidata.org/wiki/Q725944","display_name":"Runge\u2013Kutta methods","level":3,"score":0.26649999618530273},{"id":"https://openalex.org/C165242687","wikidata":"https://www.wikidata.org/wiki/Q277932","display_name":"L-stability","level":5,"score":0.2554999887943268},{"id":"https://openalex.org/C205991772","wikidata":"https://www.wikidata.org/wiki/Q221337","display_name":"Supersonic speed","level":2,"score":0.25519999861717224}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3747199.3747553","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747553","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747553","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10217979","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10217979/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"In:  ISSAC '25: Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation.  (pp. pp. 114-122).  ACM (2025)","raw_type":"Proceedings paper"}],"best_oa_location":{"id":"doi:10.1145/3747199.3747553","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3747199.3747553","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3747199.3747553","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1896149709","display_name":null,"funder_award_id":"12101032","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2363803437","display_name":null,"funder_award_id":"12131004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4895072259","display_name":null,"funder_award_id":"NSFC 12131004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W7104579273.pdf"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W136824822","https://openalex.org/W1515635493","https://openalex.org/W1564260361","https://openalex.org/W1571742932","https://openalex.org/W1969512578","https://openalex.org/W1974021382","https://openalex.org/W1978933280","https://openalex.org/W1989006292","https://openalex.org/W1989840769","https://openalex.org/W1992483196","https://openalex.org/W1992983999","https://openalex.org/W1995047818","https://openalex.org/W2007614081","https://openalex.org/W2012079420","https://openalex.org/W2024719286","https://openalex.org/W2037682746","https://openalex.org/W2051499723","https://openalex.org/W2058998512","https://openalex.org/W2061644997","https://openalex.org/W2075664399","https://openalex.org/W2103598023","https://openalex.org/W2109185530","https://openalex.org/W2119763521","https://openalex.org/W2156916166","https://openalex.org/W2261060202","https://openalex.org/W2315375048","https://openalex.org/W2328476219","https://openalex.org/W2407346498","https://openalex.org/W2613285212","https://openalex.org/W2626365245","https://openalex.org/W2914687076","https://openalex.org/W2963011325","https://openalex.org/W2963362230","https://openalex.org/W4230748309","https://openalex.org/W4232785643","https://openalex.org/W4304092218","https://openalex.org/W4398157017"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"an":[3,28],"algorithmic":[4,123],"approach":[5,81,124],"to":[6,53,127],"the":[7,22,36,79],"analysis":[8],"of":[9,12,14,42,58,61,67,78,87,112],"Jacobi":[10,56,110],"stability":[11,57,111],"systems":[13,41],"second":[15,37,43,62],"order":[16,44,63],"ordinary":[17],"differential":[18],"equations":[19],"(ODEs)":[20],"via":[21],"Kosambi\u2013Cartan\u2013Chern":[23],"(KCC)":[24],"theory.":[25],"We":[26],"develop":[27],"efficient":[29],"symbolic":[30,74],"program":[31,50],"using":[32,73],"Maple":[33],"for":[34,40],"computing":[35],"KCC":[38],"invariant":[39],"ODEs":[45,64],"in":[46,97,132],"arbitrary":[47],"dimension.":[48],"The":[49,76,106],"allows":[51,125],"us":[52,126],"systematically":[54],"analyze":[55],"a":[59,85,90,101],"system":[60],"by":[65,84,118],"means":[66],"real":[68],"solving":[69],"and":[70,100],"solution":[71],"classification":[72],"computation.":[75],"effectiveness":[77],"proposed":[80],"is":[82],"illustrated":[83],"model":[86,93],"wound":[88],"strings,":[89],"two-dimensional":[91],"airfoil":[92],"with":[94],"cubic":[95],"nonlinearity":[96],"supersonic":[98],"flow":[99],"3-DOF":[102],"tractor":[103],"seat-operator":[104],"model.":[105],"computational":[107],"results":[108],"on":[109],"these":[113],"models":[114],"are":[115],"further":[116],"verified":[117],"numerical":[119],"simulations.":[120],"Moreover,":[121],"our":[122],"detect":[128],"hand-guided":[129],"computation":[130],"errors":[131],"published":[133],"papers.":[134]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-11-10T00:00:00"}