symbolic computation program/software

math-software computer-algebra-systems symbolic-computation

I recommend sageMath, also Mathematica and Maple

An easy to use is Maxima

You can to work with sage here: http://www.sagenb.org/, it is not necessary to install !!!


Both Mathematica and Maple are excellent.

It seems they have added symbolic computation toolbox for scilab (which is free). Since you are linux user, you might want to explore it. I have never personally used it though (I have used scilab itself and it does a good job of being a lilliputian Matlab)

http://packages.ubuntu.com/lucid/scilab-scimax-doc


Another very popular free program for symbolic computations is PARI/GP. It is aimed somehow at computations in number theory, but its functionality is not only restricted to this. You can read a little bit about it also in the wikipedia article.

Related

Is the dual representation of an irreducible representation always irreducible?
Combinatorial proof of $\binom{3n}{n} \frac{2}{3n-1}$ as the answer to a coin-flipping problem
What are some good open problems about countable ordinals?
How to get the radius of an ellipse at a specific angle by knowing its semi-major and semi-minor axes?
Can a non-periodic function have a Fourier series?
Which tessellation of the sphere yields a constant density of vertices?
difference between implicit and explicit solutions?
Determining Ambiguity in Context Free Grammars
Closed form for $\sum_{n=0}^\infty\frac{\operatorname{Li}_{1/2}\left(-2^{-2^{-n}}\right)}{\sqrt{2^n}}$
Can a function be applied to itself?
Stanford math qual: Abelian groups $G$ satisfying $0\to \Bbb{Z} \oplus \Bbb{Z}/3\Bbb{Z} \to G \to \Bbb{Z} \oplus \Bbb{Z}/3\Bbb{Z} \to 0$
What did Hilbert actually want for his second problem?