Live data from Hacker News

Interactive Linear Algebra (2019)

textbooks.math.gatech.edu

31–40 of 43 posts

Re: Interactive Linear Algebra (2019)

#31
For those interested in these kinds of interractive math experiences, I have been keeping track of them for a while. Here is my list so far:

https://www.intmath.com/ - Interactive Mathematics Learn math while you play with it

http://worrydream.com/LadderOfAbstraction/ - up and down the ladder of abstraction

https://betterexplained.com/ - Intuitive guides to various things in math

https://www.math3ma.com/blog/matrices-probability-graphs - Viewing Matrices & Probability as Graphs

http://immersivemath.com/ila/index.html - immersive linear alg

Re: Interactive Linear Algebra (2019)

#32
post #31

For those interested in these kinds of interractive math experiences, I have been keeping track of them for a while. Here is my list so far: • https://www.intmath.com/ - Interactive Mathematics Learn math while you play with it • http://worrydream.com/LadderOfAbstraction/ - up and down the ladder of abstraction • https://betterexplained.com/ - Intuitive guides to various things in math • https://www.math3ma.com/blog/…

https://github.com/topics/linear-algebra?l=jupyter+notebook lists "Computational Linear Algebra for Coders" https://github.com/fastai/numerical-linear-algebra

"site:GitHub.com inurl:awesome linear algebra jupyter" lists a few awesome lists with interactive linear algebra resources: https://www.google.com/search?q=site%3Agithub.com+inurl%3Aaw...

3blue1brown's "Essence of linear algebra" playlist has some excellent tutorials with intuition-building visualizations built with manim: https://youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2xVFit...

https://github.com/ManimCommunity/manim

Re: Interactive Linear Algebra (2019)

#33
post #26

Earlier quoted context omitted.

> a positive-definite symmetric matrix can be visualized as an ellipse. It is clear that you mean the ellipsoid as a set of points {x | x^T * A * x = 1} (or some other constant). There is another way in which all square matrices define an ellipsoid based on how the matrix transforms a unit sphere: {A*x | x^T * x = 1} (different matrices can map to the same ellipse here, however). I always like to clarify which one. (…

> It is clear that you mean the ellipsoid as a set of points {x | x^T * A * x = 1} (or some other constant). There is another way in which all square matrices define an ellipsoid based on how the matrix transforms a unit sphere: {A*x | x^T * x = 1} (different matrices can map to the same ellipse here, however). I actually had the latter one in mind: The one given by {A*x | x^T * x = 1}. I hadn't thought of your other…

> I actually had the latter one in mind: The one given by {Ax | x^T x = 1}.

I am near certain that you did not mean this.

> When the semi-axes are parallel to the coordinate axes, the matrix is diagonal.

Let D =

the matrix

  | 2 0 | 
  | 0 1 |
And let R be any 2-by-2 rotation matrix.

A = D * R would give you a locus of points (under {Ax | x^T x = 1}) that has the semi-axes parallel to the coordinate axes. In general, A is not diagonal.

For the condition you mention (axis-aligned semi-axes of ellipsoid iff matrix is diagonal) is true for {x | x^T * A * x = 1} .

Re: Interactive Linear Algebra (2019)

#34
post #26

Earlier quoted context omitted.

> It is clear that you mean the ellipsoid as a set of points {x | x^T * A * x = 1} (or some other constant). There is another way in which all square matrices define an ellipsoid based on how the matrix transforms a unit sphere: {A*x | x^T * x = 1} (different matrices can map to the same ellipse here, however). I actually had the latter one in mind: The one given by {A*x | x^T * x = 1}. I hadn't thought of your other…

> I actually had the latter one in mind: The one given by {A x | x^T x = 1}. I am near certain that you did not mean this. > When the semi-axes are parallel to the coordinate axes, the matrix is diagonal. Let D = the matrix | 2 0 | | 0 1 | And let R be any 2-by-2 rotation matrix. A = D * R would give you a locus of points (under {A x | x^T x = 1}) that has the semi-axes parallel to the coordinate axes. In general, A…

I only consider positive semi-definite symmetric matrices. A = D * R is almost certainly not such a matrix. The positive semi-definite symmetric case is the only one needed to compute SVDs.

A proof of convergence for the algorithm is only known for certain families of matrices. These include the positive-definite symmetric matrices, all symmetric matrices (once suitable improvements to the algorithm are made), the Hermitian matrices, and perhaps some others. But a proof that's valid for all matrices isn't known, even though the algorithm (when improved using Wilkinson shifts) appears to converge everywhere.

Re: Interactive Linear Algebra (2019)

#35
post #20

I've only just skimmed through this. And it's a subject I already know so I can't tell if it's actually a good resource. However, my initial impression is that I love it. I think that textbooks, math textbooks in particular, are an example where print publishing does a disservice. (I'm counting PDFs here too.) By having to lay everything out in print form, you have to clutter up your explanations with examples and fo…

> I think that textbooks, math textbooks in particular, are an example where print publishing does a disservice. (I'm counting PDFs here too.) By having to lay everything out in print form, you have to clutter up your explanations with examples and footnotes that take up physical room. . I agree with your sentiment. Although, I believe there is bit of problem of generalizing it to a wider field. Surely, you can make…

Great work, thank you. Have you considered Obsidian, and Obsidian publish, as a medium? Take a look at Andy Matuschak's site as one example, there are many variants out there too https://notes.andymatuschak.org/About_these_notes

Re: Interactive Linear Algebra (2019)

#36
post #34

Earlier quoted context omitted.

> I actually had the latter one in mind: The one given by {A x | x^T x = 1}. I am near certain that you did not mean this. > When the semi-axes are parallel to the coordinate axes, the matrix is diagonal. Let D = the matrix | 2 0 | | 0 1 | And let R be any 2-by-2 rotation matrix. A = D * R would give you a locus of points (under {A x | x^T x = 1}) that has the semi-axes parallel to the coordinate axes. In general, A…

I only consider positive semi-definite symmetric matrices. A = D * R is almost certainly not such a matrix. The positive semi-definite symmetric case is the only one needed to compute SVDs. A proof of convergence for the algorithm is only known for certain families of matrices. These include the positive-definite symmetric matrices, all symmetric matrices (once suitable improvements to the algorithm are made), the He…

Ah, okay. Sure. And PSD matrix A is diagonalizeable with orthogonal matrices i.e.

  A = Q^T * D * Q
The ellipsoid visualization you meant is insensitive to the Q term (any rotation of a sphere is the same sphere), but not to the Q^T term.

What I am still failing to understand is this sentence from the article:

> The basic QR algorithm can be visualized in the case where A is a positive-definite symmetric matrix.

It sounds like you can visualize the iterates A_{k} no matter what. Is the problem that there isn't a fixed point when the ellipsoid is axis-aligned?

The article has:

> Under certain conditions,[4] the matrices Ak converge to a triangular matrix, the Schur form of A.

So am I to understand that for A positive semi-definite, the A_{k} converges to a diagonal matrix?

Re: Interactive Linear Algebra (2019)

#38
post #9

I've only just skimmed through this. And it's a subject I already know so I can't tell if it's actually a good resource. However, my initial impression is that I love it. I think that textbooks, math textbooks in particular, are an example where print publishing does a disservice. (I'm counting PDFs here too.) By having to lay everything out in print form, you have to clutter up your explanations with examples and fo…

I think I prefer physical textbooks for many reasons I wont get in to... but I do really like the interactive and visualization elements computers offer. I feel like teaching kids some amount of coding to be able to play with math could be very helpful.

Saying you love physical books then not giving the reasons… come on, people want to know.

One reason I love them is that I can easily browse a shelf. Scrolling through a digital library doesn’t have the same sense of amusement.

Re: Interactive Linear Algebra (2019)

#39
post #31

For those interested in these kinds of interractive math experiences, I have been keeping track of them for a while. Here is my list so far: • https://www.intmath.com/ - Interactive Mathematics Learn math while you play with it • http://worrydream.com/LadderOfAbstraction/ - up and down the ladder of abstraction • https://betterexplained.com/ - Intuitive guides to various things in math • https://www.math3ma.com/blog/…

microMathematics Plus[0,1,2] (FLOSS Android app)

> With microMathematics Plus, not only can you perform mathematical calculations in naturally readable form but you can also create and manage your own collection of interactive formulas!

[0] https://github.com/mkulesh/microMathematics

[1] https://f-droid.org/packages/com.mkulesh.micromath.plus

[2] https://play.google.com/store/apps/details?id=com.mkulesh.mi...

Re: Interactive Linear Algebra (2019)

#40
post #20

Earlier quoted context omitted.

> I think that textbooks, math textbooks in particular, are an example where print publishing does a disservice. (I'm counting PDFs here too.) By having to lay everything out in print form, you have to clutter up your explanations with examples and footnotes that take up physical room. . I agree with your sentiment. Although, I believe there is bit of problem of generalizing it to a wider field. Surely, you can make…

Great work, thank you. Have you considered Obsidian, and Obsidian publish, as a medium? Take a look at Andy Matuschak's site as one example, there are many variants out there too https://notes.andymatuschak.org/About_these_notes

I was thinking of giving an option of exporting notes to roam with automatic backlinks generated.

Given, obsidian's popularity, this is also definitely something on the roadmap. Ability to integrate what you learn directly into your knowledge-base (or second brain as some people call it), is an excellent idea.

However, don't have the manpower right now and much focus is to create courses right now.

Might be able do it, maybe within a year or so.

Post reply on HN