emmy

I'm a senior level programmer who recently became interested in furthering my math education. I also just became aware of computational algebra systems like emmy: https://github.com/mentat-collective/emmy My question is: is there an interactive math curriculum/textbook/etc that uses such a system to teach the math? I would find that a lot more engaging than learning math the old way!

This library bring these capabilities to Clojure: https://github.com/mentat-collective/emmy It's based on an older library for Scheme, by Sussman.

> static typing helps everywhere I think "Structure and Interpretation of Classical Mechanics" is a good example of the kind of software a dynamically-typed Lisp is superior at, beyond the usual suspects like SQL, R, Python, etc. Here's an example of SICM in Clojure: https://github.com/mentat-collective/emmy Go here to give it a try: https://nextjournal.com/try/samritchie/sicmutils And here's a conference talk about it's implementation: https://www.youtube.com/watch?v=7PoajCqNKpg --- More broadly, I think Rich Hickey (Clojure creator) makes a reasonable case that for information processing systems in particular, static typing has negative value: https://www.youtube.com/watch?v=2V1FtfBDsLU That's also been my experience.

> You can get a feel for how unergonomic this is by avoiding the use of all arithmetic operators in your code and instead forcing yourself to use user defined plus(a,b), minus(a,b), assign(a,b), etc, or programming directly with the C blas api. You've dramatically overstated your case, since that's true of every Lisp-like language. Lisp is a perfectly suitable language for developing mathematics in, see SICM [0] for details. If you want to see SICM in action, the Emmy Computer Algebra System [1] [2] [3] [4] is a Clojure project that ported SICM to both Clojure and Clerk notebooks (like Jupyter notebooks, but better for programmers). [0] https://mitpress.mit.edu/9780262028967/structure-and-interpr... [1] Emmy project: https://emmy.mentat.org/ [2] Emmy source code: https://github.com/mentat-collective/emmy [3] Emmy implementation talk (201

Better yet, keep proper definitions and equations and then drive interesting animations from "real deal" code! I've been working for a couple of years on a computer algebra system written in Clojure (named "Emmy") designed for writing this like. It's a port of Gerald Sussman's scmutils library, plugged in to a bunch of modern graphics libraries. Here are a few examples, shamefully lacking exposition since much of this is JUST working and I was powering through demos for a talk: - particle in a quartic potential well: https://sritchie.github.io/clojure-conj-2023/notebooks/conj/... - Phase Portrait of the Pendulum: https://sritchie.github.io/clojure-conj-2023/notebooks/conj/... - Colin's torus geodesics: https://sritchie.github.io/clojure-conj-2023/notebooks/conj/... - Taylor Series https://sritchie.github.io/clojure-conj-2023/notebooks/con

Here's some Clojure code I wrote for the Emmy computer algebra system that implements polynomial interpolation with a few different algorithms described in Numerical Recipes: https://github.com/mentat-collective/emmy/blob/main/src/emmy... I discovered while writing this that I could express each of these algorithms as folds that consumed a stream of points, accumulating a progressively higher order polynomial. Here's the same sort of thing but for rational function interpolation: https://github.com/mentat-collective/emmy/blob/main/src/emmy...