Is Hoffman-Kunze a good book to read next? I'm planning on self-studying linear algebra, and trying to decide on a book.  I'm thinking of using Hoffman and Kunze.
 What sort of experience is required to handle Hoffman and Kunze?
So far, I've read most of Axler's Linear Algebra Done Right. (It was for a class in high school, so we just worked through it and got as far as we got.) I feel like I understand it pretty well, and I really liked it, but I've read that it has a rather unusual approach and I would like to try something different.
I've read that Hoffman and Kunze is good, but that it is heavy on the algebra.  I'm not sure how do calibrate that, though.  Does it mean "Don't use it for linear algebra for engineers" or "You should have a year of algebra, but if you have that, it's not a big deal".  (I guess it's somewhere in between.)
I specifically like that it includes a strong emphasis on matrices, which are pointedly ignored in Axler, without devolving into being just a manual for computation.
This is my impression of the book from having read around (mostly here), but if something of it is wrong, please correct me.  I have very little experience to provide comparison and normalize the different recommendations I've read.
 A: Hoffman & Kunze is to linear algebra what baby Rudin is to analysis.  If you plan to major in mathematics or physics, you should read it, study it, and do as many exercises from it as possible.  The amount of abstract algebra in H&K is minimal, and all the definitions/background is provided so that the text is self contained.  So if you were fine with Axler, you'll have no issue (though the prose in H&K is significantly dryer and more demanding than the conversational Axler, and may take some getting used to).
The reason why Axler's approach is "unusual" is that he doesn't use determinants in his presentation of eigenvalues, etc.  This is nice in theory and provides alternative proofs which can be illuminating, but ultimately the approach limits one's ability to perform concrete calculations.  Also, determinants cannot be banished forever in linear algebra, so at some point you need to learn about them, and the chapter in H&K covering them is excellent (though probably the most technically difficult chapter in the text).  Other than that, it's all basically standard fare and the level of difficulty is comparable to H&K, though H&K covers quite a bit more than Axler.
