Interactive Linear Algebra Dan Margalit, Joseph Rabinoff (opens in new tab)

I'm insufficiently nerd-sniped - what I'd really want is a book where every single mathematical expression is written in code, which I could manipulate. I'm thinking essentially of a book version of a Scrimba[0] course. I personally would love it to be in SymPy code, but I'd be happy with anything.

[0] https://v2.scrimba.com/

Agreed - it's like they transplanted the "found in a rigorous math class" definition of a determinant. That's the one where the desired properties are the assumption and then you show that your preferred mechanical method of computation gives those properties. Usually there's a final step where you show the properties are enough to establish uniquemess.

None of those mathy steps occur in this book. There are just statements in boxes like "remember: all methods of computing the determinant give the same answer".

Honestly, looking at that section I'm having a hard time understanding how they justify the name "interactive linear algebra". The extent of my interactions is clicking on the arrow to expose the example.

The graphics are fine, but they aren't interactive like it says on the cover.

I do respect this, a lot:

> This textbook is exclusively targeted at Math 1553 at Georgia Tech. As such, it contains exactly the material that is taught in that class; no more, and no less: students in Math 1553 are responsible for understanding all visible content.

The mathematical pedagogical design isn't bad. But the presentation is terrible -- out of order (linking to sections ahead for explanation), and written awkwardly with minor technical errors (like multiplying by 0) that show the author doesn't fully understand what they are saying or how to express it. They are using stilted English as an attempt at formal mathematical writing.

I strongly dislike this approach to linear algebra. I much prefer matrix-less approach like in "algebra done right". I guess the latter is less suited for computation, but much, much better for understanding what's going on.