REDUCE: мечта школьника и не только

REDUCE — академичный открытый программный пакет (с богатой историей, кстати) для решения алгебраических задач. Есть версии под основные платформы.