Mathematica is a computational software program based on symbolic mathematics, developed by Wolfram Research.
Wolfram SystemModeler is a modeling and simulation software based on the Modelica language.
Wolfram Workbench provides code editing, navigation and project management tools for enterprise-class development and deployment.