Wikipedia
TomSym
The TomSym MATLAB symbolic modeling engine is a platform for modeling applied optimization and optimal control problems.