Adol-c

Axiom

Cartesio

Dismat

Fermat

Gap

MiKTeX

Normaliz

WINPLOT

WOLFRAMALPHA