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