Symbolics.jl: A Modern Computer Algebra System for a Modern Language
Computer Algebra is criminally underused - it has the potential to make math-heavy critical-path code a lot more clear, testable, observable and bug-free by design.<p>I feel I need to mention "Structure and Interpretation of Classical Mechanics" by Wisdom and Sussman, and the accompanying "scmutils" library, which first implemented in Scheme many of the same features, although this Julia library seems to be more complete.<p>There's also a great one-to-one port to Clojure by Colin Smith [2] in case you want to use it on a more production-friendly environment. The Strange Loop talk [3] is a good showcase of the power and simplicity of these kind of systems.<p>[1] <a href="https://groups.csail.mit.edu/mac/users/gjs/6946/" rel="nofollow">https://groups.csail.mit.edu/mac/users/gjs/6946/</a><p>[2] <a href="https://github.com/sicmutils/sicmutils" rel="nofollow">https://github.com/sicmutils/sicmutils</a><p>[3] <a href="https://www.youtube.com/watch?v=7PoajCqNKpg&ab_channel=ClojureTV" rel="nofollow">https://www.youtube.com/watch?v=7PoajCqNKpg&ab_channel=Cloju...</a>