Cover Image

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Bo, Wang, Dongming, Yang, Jing
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation 34C07, 68W30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A zero-test for D-algebraic transseries
by: Chen, Shaoshi, et al.
Published: (2026)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
by: Shirato, Yusuke, et al.
Published: (2024)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
by: del Río, Tereso, et al.
Published: (2024)

An Exact Algorithm for Computing the Structure of Jordan Blocks
by: Tajima, Shinichi, et al.
Published: (2025)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)

Certifying solutions of degenerate semidefinite programs
by: Kolmogorov, Vladimir, et al.
Published: (2024)

Numerically Computing Galois Groups of Minimal Problems
by: Duff, Timothy
Published: (2025)

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2026)

Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
by: Drechsler, Rolf
Published: (2025)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
by: Okazaki, Takumu, et al.
Published: (2025)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

D-Algebraic Functions
by: Manssour, Rida Ait El, et al.
Published: (2023)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
by: Tajima, Shinichi, et al.
Published: (2022)

Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
by: Gupta, Chakshu, et al.
Published: (2026)

An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations
by: Fürnsinn, Florian, et al.
Published: (2025)

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

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
by: Okazaki, Takumu, et al.
Published: (2025)

On the gradient of the coefficient of the characteristic polynomial
by: Ikenmeyer, Christian
Published: (2025)

On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024)

A new method for reducing algebraic programs to polynomial programs
by: Maaz, Muhammad, et al.
Published: (2025)

Certified Real Eigenvalue Location
by: Solmaz, Baran, et al.
Published: (2026)

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

Activation Saturation and Floquet Spectrum Collapse in Neural ODEs
by: Matzakos, Nikolaos M.
Published: (2026)