Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.
Paul C. BellIgor PotapovPavel SemukhinPublished in: CoRR (2019)
Keyphrases
- square root
- linear systems
- set of linear equations
- angular velocity
- hidden markov models
- pseudo inverse
- description logics
- low rank
- query answering
- positive definite
- mathematical model
- numerical integration
- low rank matrix
- singular value decomposition
- linear model
- linear equations
- linear algebra
- semidefinite
- decision procedures
- finite difference
- early detection
- jacobian matrix
- closed form
- closed form solutions