Visual Explanations of Mathematics (2020)
11 comments
·February 5, 2025WillAdams
windows_hater_7
Grant Sanderson's YouTube channel 3blue1brown and his Manim package have made it significantly easier to visualize math computationally: https://www.youtube.com/c/3blue1brown https://3b1b.github.io/manim/index.html
There's also a well supported community version as well: https://www.manim.community/
mncharity
I've seen physical-sciences research talks by people from Caltech, where the format is putting up a single equation, and then walking through it piece by piece. That's the entire talk, all the slides, and how the talk is organized. I've never seen that from elsewhere, and so think of it as a "caltech style". Does this have a real name? Can anyone flesh this out?
Jun8
I don’t think visual explanation should be about writing colored versions of formulas or adding notes, it’s providing a visual that immediately unlocks the core idea. Many examples are given here: https://math.stackexchange.com/questions/733754/visually-stu...
programjames
Or, the famous AoPS Proofs Without Words: https://artofproblemsolving.com/wiki/index.php/Proofs_withou...
mncharity
> We have lots of tools to write better mathematics: LaTeX, markdown, Jupyter Notebooks, and so on. But it feels like nothing has really converged yet. Technology that seamlessly mixes symbolic equations, illustrative-and-explicative annotation, and runnable code is, I am sure, not far off. [2020; emphasis added]
Back in the 1990's, we had lots of tools to write better mathematics: LaTeX, HTML, Mathematica notebooks, and so on. But it felt like nothing had really converged yet. Technology that seamlessly mixes symbolic equations, illustrative-and-explicative annotation, and runnable code is, I then expected, not to be anticipated before my distant retirement and death. Given the preceding decades of cripplingly underfunded and glacial programming language evolution - that seemed a similar kind of society-hobbling infrastructure challenge that we just don't handle well. Now here we are, 3 decades later, and languages are in a far better place... though with pace still throttled by poor funding. Perhaps someday math tech will be too. Large-scale hypertext, and GUIs, also managed the "and now, what you've lonnnng been waiting for, tada!" transition.
caspper69
Do you believe that existing open source symbolic kernels are the limitation here, given that we can now easily (for some value of n) render the notation and the notes/annotations?
I mean, there are a ton of math libraries available for most programming languages, but symbolic solving is pretty important here, because presumably people would want to (for example) show the integral or summation symbols and use algebraic notation rather than, say, Mathematica functions.
fuck_google
[dead]
jackallis
link to the book in the website takes you here https://lacathospital.com/ ?
mncharity
Might a multimodal LLM be taught to generate illuminated equations and descriptions?
null
There is also Joyce's Java Version of Euclid's Elements:
https://mathcs.clarku.edu/~djoyce/java/elements/elements.htm...
and I'm still impressed by the custom Unity tools which Freya Holmér uses for her videos:
https://www.youtube.com/watch?v=jvPPXbo87ds
Wish Geogebra was both more capable and widely used:
https://www.geogebra.org/
That said, these days if I need to plot out something I just use OpenSCAD: https://openscad.org/ (or, the Python-enabled version: https://pythonscad.org/ )