Mathematica is a computer algebra system originally conceived by Stephen Wolfram, developed by a team of mathematicians and programmers that he assembled and led, and sold by his company Wolfram Research. Mathematica is also a programming language emulating multiple paradigms on top of term-rewriting.
Home Page: http://www.wolfram.com/