MapleSim from Maplesoft

MapleSim is the high-performance, multi-domain modeling and simulation tool. It combines an intuitive physical modeling environment with powerful symbolic techniques that generate model equations in symbolic form, helping teachers to quickly demonstrate the connection between concepts and the underlying mathematical theory.

Check them out here!