Symbolické integrování a derivování pomocí umělé inteligence - Hruboš, Petr (2011)