Advances in Equation Solving and Symbolic Optimization

Recent and upcoming releases of Mathematica include significant functionality extensions in functions for finding exact solutions of systems of equations and inequalities and for solving exact optimization problems. The extensions include methods for solving systems of transcendental function equations, exact convex optimization, and solving optimization problems that depend on symbolic parameters. In my talk, I will discuss the newly added algorithms and show some examples.