Antal Elvira; Csendes Tibor: Preprocessing of unconstrained nonlinear optimization problems by symbolic computation techniques. (2012) [Prezentáció]