Software commerciale

Mathematica
Sistema integrato di calcolo che consente manipolazioni algebriche, numeriche, grafiche ed anche la produzione di suoni. E' disponibile per tutte le principali piattaforme hardware; la versione disponibile attualmente (gennaio 1998) è la 3.0.

Derive
La sua facilità d'uso e il basso costo lo hanno reso il programma di elaborazione simbolica più diffuso nel mondo, soprattutto nel campo della didattica della matematica nella Scuola Secondaria Superiore.

Matlab
Sistema aperto per lo studio di una grandissima varietà di problemi scientifici. Attualmente la release disponibile è  Matlab 5

MathView
Software interattivo di calcolo simbolico rivolto principalmente agli studenti della scuola secondaria superiore.

Maple V
Potente e versatile software di calcolo simbolico con incorporati diversi sofisticati package per l'analisi di problemi in vari settori della matematica.

MuPAD
Sistema di calcolo numerico e simbolico, di progammazione matematica parallela e visualizzazione.

Cabri II
Software grafico che consente la manipolazione diretta e dinamica degli oggetti geometrici.

Sketchpad
Strumento di visualizzazione e investigazione di fatti e problemi geometrici, o matematici in genere, nonché ausilio alla dimostrazione.

G-LAB
Laboratorio grafico per lo studio delle funzioni e della geometria analitica