For symbolic computation there is also Maple (*shudders at the thought*).