Si mostra un percorso didattico che sfrutta le potenzialità della computer algebra per rendere più forti dal punto di vista semantico i concetti fondamentali del calcolo infinitesimale, e per affiancare al tradizionale bagaglio teorico abilità di tipo algoritmico e padronanza nelle approssimazioni numeriche. Il lavoro è stato realizzato dal 1997 al 1999 nell'ambito della sperimentazione LABCLASS (Laboratorio in classe) del M.P.I.