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.