"[per Treil, LADW is for] a student who, while not yet very familiar with abstract reasoning, is willing to study more rigorous mathematics than what is presented in a “cookbook style” calculus type course."

But yeah it's really attempting to introduce you to higher mathematics rather than get you comfortable doing linear algebra per se.

I recommend and teach my YouTube Live series out of Fraleigh [1], but unfortunately it's out of print. Lay seems to be a good modern alternative.

[1] https://linear.mathcanbeahobby.com

LADW and LADR are great too, for an honors approach with more focus on proofs. To me it would make more sense on a second pass.

Axler is more of a pure math textbook - if you want to dive more into proofs and abstractions.

If you liked 3B1B's style, you will prefer strang over axler. Axler and treil to a greater extent focus on bringing out the abstract elegance and the kind of rigour a math major enjoys. Strang's book also has videos accompanying - on MIT OCW.

B&V VMLS on your list is interesting - they focus a lot on real-world instantiations of the concepts and have you code up things in the (excellent) exercises. Depending on your goals, you can do only this, or strang and then this. Definitely look at the exercises in any case though.

linear_algebra_done_right.pdf, 0 pages read, July 2023

linear_algebra_done_right (1).pdf, 0 pages read, Oct 2023

linear_algebra_done_right (2).pdf, 0 pages read, Sept 2024

Downloading (3) now.