Cover Image

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Böhmer, Christian G., Huang, Bo, Wang, Dongming, Wang, Xinyu
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
by: Treumova, Veronika, et al.
Published: (2024)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
by: Zheng, Min-Yi, et al.
Published: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Huang, Hui
Published: (2026)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
by: de Vries, Sigur, et al.
Published: (2026)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

A Dataset of Nonlinear Equations for Subdivision
by: Xu, Juan, et al.
Published: (2026)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
by: Nagesh, Chandra Kanth, et al.
Published: (2025)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

Symmetric Division of Linear Ordinary Differential Operators
by: Du, Lixin, et al.
Published: (2025)

Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems
by: Huang, Bo, et al.
Published: (2024)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Algorithms for Recursive Block Matrices
by: Watt, Stephen M.
Published: (2024)

Differentiation methods as a systematic uncertainty source in equation discovery
by: Khilchuk, Maria, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Generalized ODE reduction algorithm for bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

Grammar-based Ordinary Differential Equation Discovery
by: Yu, Karin L., et al.
Published: (2025)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
by: Lyakhov, Dmitry A., et al.
Published: (2024)

Fractal Attractors in Random Nonlinear Iterated Function Systems: Existence, Stability, and Dimensional Properties
by: Bouke, Mohamed Aly
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
by: Pagès, Raphaël
Published: (2024)

Nominal Equational Rewriting and Narrowing
by: Ayala-Rincón, Mauricio, et al.
Published: (2025)

Symbolic Equation Solving via Reinforcement Learning
by: Dabelow, Lennart, et al.
Published: (2024)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

GENSR: Symbolic Regression Based in Equation Generative Space
by: Li, Qian, et al.
Published: (2026)

Unit-Aware Genetic Programming for the Development of Empirical Equations
by: Reuter, Julia, et al.
Published: (2024)

A Shape Lemma for Ideals of Differential Operators
by: Kauers, Manuel, et al.
Published: (2025)