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