Inne przykłady z tej kategorii to MuPAD (nieco zubożona wersja dostępna jest w celach ewaluacyjnych) i MathCad. Programy te są relatywnie drogie. Najbardziej wszechstronny odpowiednik dostępny na wolnej licencji to Maxima.
Badaniem algorytmów wykorzystywanych w tego typu programach zajmuje się algebra komputerowa.
Wybrane programy Axiom CoCoA Derive (nierozwijany) Maple Mathematica MathCad MuPAD Maxima Sage Yacas