An application and framework for exploratory mathematics, symbolic programming. Produced by WolframResearch (http://www.wolfram.com). It's based on a complete FunctionalProgrammingLanguage, as well as allowing ProceduralCode and ObjectOriented code to be written.

See also MathematicaLanguage.
----
CategoryMath