Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations. - Christian G. Böhmer; Bo Huang 015; Dongming Wang 001; Xinyu Wang (CoRR, 2025)