Mathematica is a comprehensive symbolic manipulation engine and functional programming language written by a physicist starting in the late 70s. It has been used to solve various real world physics problems since the early 80s. It has been commercially available since 1988.