Calcul symbolique

• MuPAD
• Paderborn : von zur Gathen, Gerhard
• Paul Zimmermann
• Benno Fuchssteiner