Title: Estimating and determining solutions of matrix vector recursions
Subjects: Recursion theory, Symbolic and mathematical Logic