Symbolické výpočty

Maxima
Maxima je volně šiřitelným nástupcem systému DOE Macsyma, který je nejstarším CAS systémem (byl vyvinut již v šedesátých letech na MIT). Většina dnešních komerčních systémů z tohoto systému víceméně vychází. Maxima obsahuje nástroje pro symbolickou úpravu výrazů jako symbolické derivování, integrace, řešení diferenciálních rovnic, ale i 3D grafy. Stále intenzivně vyvíjena.

Yacas
YACAS (Yet Another Computer Algebra System) je zkrátka další nástroj pro symbolické počítání. Pouze v příkazové řádce, žádná grafická klikátka, nicméně je možné volat jej interaktivně z editoru TeXmacs. Umožňuje i numerické počítání s libovolnou přesností. Oproti Maxima má modernější syntaxi, ale vývoj není tak intenzivní.

GMP
Knihovna pro aritmetické výpočty s celými, racionálními i reálnými čísly s libovolnou přesností.

CLN
Knihovna v C++ pro aritmetické výpočty s celými, racionálními i reálnými čísly s libovolnou přesností.