Para los que estén interesados en las opciones libres: para reemplazar al Mathematica escuché que el sage estaba bastante bueno. Yo lo usé muy poco como para dar un veredicto (llegué a integrar un par de boludeces solamente).
Eso sí, los que quieran correrlo en Windows van a necesitar un VitrualBox (hay una versión para Windows en producción, en la página explican más).
http://www.sagemath.org/