Jing Yang 0039

dblp:62/5839-39 · DBLP profile ↗
← Back
12ranked-venue papers
2as first author
8since 2021 · last 2026
0000-0002-9032-1443ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 10 · 1 first-author · 8 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
YearPublicationVenuePosition
2026 Relations among multi-polynomial subresultants
Hoon Hong, Jiaqi Meng, Jing Yang 0039
J. Symb. Comput.3
2026 Computing the greatest common divisor of several parametric univariate polynomials via generalized subresultants
Hoon Hong, Jing Yang 0039
J. Symb. Comput.2
2026 Jacobi stability analysis for systems of ODEs with symbolic computation
Bo Huang 0015, Dongming Wang 0001, Jing Yang 0039
J. Symb. Comput.4
2025 Subresultant of Bernstein Polynomials and Its Application in Computing the Parametric Greatest Common Divisor
Mei Tan, Jing Yang 0039
CASC2
2025 Subresultants of several univariate polynomials in Newton basis
Jing Yang 0039
J. Symb. Comput.2
2024 Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
abstract
The classical theory of Kosambi–Cartan–Chern (KCC) developed in differential geometry provides a powerful method for analyzing the behaviors of dynamical systems. In the KCC theory, the properties of a dynamical system are described in terms of five geometrical invariants, of which the second corresponds to the so-called Jacobi stability of the system. Different from that of the Lyapunov stability that has been studied extensively in the literature, the analysis of the Jacobi stability has been investigated more recently using geometrical concepts and tools. It turns out that the existing work on the Jacobi stability analysis remains theoretical and the problem of algorithmic and symbolic treatment of Jacobi stability analysis has yet to be addressed. In this paper, we initiate our study on the problem for a class of ODE systems of arbitrary dimension and propose two algorithmic schemes using symbolic computation to check whether a nonlinear dynamical system may exhibit Jacobi stability. The first scheme, based on the construction of the complex root structure of a characteristic polynomial and on the method of quantifier elimination, is capable of detecting the existence of the Jacobi stability of the given dynamical system. The second algorithmic scheme exploits the method of semi-algebraic system solving and allows one to determine conditions on the parameters for a given dynamical system to have a prescribed number of Jacobi stable fixed points. Several examples are presented to demonstrate the effectiveness of the proposed algorithmic schemes.
Bo Huang 0015, Dongming Wang 0001, Jing Yang 0039
ISSAC3
2023 Two Variants of Bézout Subresultants for Several Univariate Polynomials
Jing Yang 0039
CASC2
2021 A condition for multiplicity structure of univariate polynomials
Hoon Hong, Jing Yang 0039
J. Symb. Comput.2
2019 PAF Reconstruction with the Orbits Method
Ilias S. Kotsireas, Youtong Liu, Jing Yang 0039
CASC3
2013 Improving angular speed uniformity by reparameterization
Jing Yang 0039, Dongming Wang 0001, Hoon Hong
Comput. Aided Geom. Des.1
2013 A framework for improving uniformity of parameterizations of curves
Hoon Hong, Dongming Wang 0001, Jing Yang 0039
Sci. China Inf. Sci.3
2012 Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization
Jing Yang 0039, Dongming Wang 0001, Hoon Hong
CASC1