MatLab für Numerik ("ausrechnen"), Maple und Mathematica eher für die analytische Lösungen. MuPAD ist ähnlich wie Maple, aber glaube billiger (kostenlos?).
Ansonsten habe ich zwar alle da, aber zur Zeit keinen Internetanschluß, über den man es laden könnte.
Wenn du nicht wirklich Mathematiker bist und nur einen sehr kompfortablen Taschenrechner suchst, dann ist wohl Scientific Workplace das richtige für dich. Läuft im Hintergrund auch mit MuPAD oder Maple (wenn man weiß, wie man es einstellt, geht "offiziell" ab Version 5.0 nicht mehr.