Comment by blobcode

I think the really neat piece of software behind this is maxima (https://maxima.sourceforge.io/), a rather influential computer algebra system of ancient lineage still in use today in more places than you might think.