clopen.solutions

Open problems

980 registered problems.

OP-00162 Open
Decidability of strict stability for rational matrix families
DS · decidability · joint spectral radius · OpenProblemsInNLA · switched linear systems
OP-00167 Open
Decidability of zero hitting by rational matrix powers
NT · decidability · linear recurrence sequences · OpenProblemsInNLA · Skolem problem
OP-00168 Open
Decidability of zero hitting by a matrix exponential
NT · continuous Skolem problem · decidability · exponential polynomials · OpenProblemsInNLA
OP-00495 Solution claimed
Decidability of local asymptotic stability for polynomial ODEs
DS · AIM Open Applied Problems · asymptotic stability · decidability · polynomial vector fields
OP-00777 Solution claimed
Deciding nonnegativity of unnormalized univariate trace polynomials
AG · AIM Open Applied Problems · decidability · power sums · trace polynomials