Antal, Elvira and Csendes, Tibor: Preprocessing of unconstrained nonlinear optimization problems by symbolic computation techniques. (2012) [Presentation]