Are you familiar with
Maxima? It's a very complete? open source algebra system with an emphasis on symbolic computation, licensed under the GPL. Its source code can be compiled easily for Windows, the Mac and Linux. Maxima's? abilities include symbolic integration, 3D plotting, and there is an ODE solver.? We recently caught up with Viktor Toth, project administrator and contributor for Maxima, for some thoughts.