MathWorks  vendor of Matlab & Simulink, a comprehensive environment for numerical mathematics and a simulation tool using models presented as diagrams.
See also: mathools.net 
Waterloo Symbolic Computation Group undertakes research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolicnumeric computation. The algorithms developed are incorporated into the MAPLE computer algebra system.

MACSYMA "the world's first, and still best, artificial intelligence based math engine providing easy to use, powerful math software for symbolic and numeric computing"


