More Theoretical and Less Computational Linear Algebra Textbook I found what seems to be a good linear algebra book.  However, I want a more theoretical as opposed to computational linear algebra book.  The book is Linear Algebra with Applications 7th edition by Gareth Williams.  How high quality is this?  Will it provide me with a good background in linear algebra?

I may be a little late responding to this, but I really enjoyed teaching from the book Visual Linear Algebra. It included labs that used Maple that I had students complete in pairs. We then were able to discuss their findings in the context of the theorems and concepts presented in the rest of the text. I think for many of them it helped make abstract concepts like eigenvectors more concrete. 
