Solvability of matrix-exponential equations

We consider a continuous analogue of (Babai et al. 1996)’s and (Cai et al. 2000)’s problem of solving multiplicative matrix equations. Given k + 1 square matrices A1,..., Ak, C, all of the same dimension, whose entries are real algebraic, we examine the problem of deciding whether there exist non-ne...

Full description

Bibliographic Details
Main Authors: Ouaknine, J, Pouly, A, Sousa Pinto, J, Worrell, J
Format: Conference item
Published: ACM/IEEE Symposium on Logic in Computer Science 2016