На днях появилась первая бета версия пакета символьной алгебры MAXIMA. Этот пакет существует не только в версии под Linux, но и под Windows. Хотя он и не может являться полноценным конкурентом Mathematica, во многом он позволяет заменить её (причём зачастую являясь удобнее).