Symbolic framework for numeric optimization
