There is also a completely different but complementary set of tools that handle formal calculous such as Maple and its libre alternative Maxima that are wort

There is also a completely different but complementary set of tools that handle formal calculous such as Maple and its libre alternative Maxima that are worth consideration.