Ask HN: What are all the FOSS programs for various mathematical explorations?
3 comments
I've done geometrical stuff with GNU Prolog's finite domain constraint solver, like finding arrangements of shapes given certain constraints. Documentation is a pain, but it wasn't hard at all to use in practice. And the programs were amazingly short! Virtually one-liners.
http://www.gprolog.org/manual/gprolog.html#sec300
Maybe you know, but Sage contains within itself hundreds of packages—numpy, scipy, matplotlib, PARI, Maxima, GAP etc etc—also many more are optional. Checking out everything in these lists you'd find a lot of other great stuff I'm sure:
https://doc.sagemath.org/html/en/reference/spkg/index_alph.h...
https://doc.sagemath.org/html/en/reference/spkg/
http://www.gprolog.org/manual/gprolog.html#sec300
Maybe you know, but Sage contains within itself hundreds of packages—numpy, scipy, matplotlib, PARI, Maxima, GAP etc etc—also many more are optional. Checking out everything in these lists you'd find a lot of other great stuff I'm sure:
https://doc.sagemath.org/html/en/reference/spkg/index_alph.h...
https://doc.sagemath.org/html/en/reference/spkg/
In addition, https://pari.math.u-bordeaux.fr/
Not exactly what you are looking for, but 3blue1brown's https://github.com/3b1b/manim is a great resource all in all.
https://www.sagemath.org/
https://juliastats.org/
https://www.r-project.org/
https://www.gnu.org/software/octave/
https://numpy.org/
https://www.scipy.org/
...