Objevování trigonometrických identit pomocí umělé inteligence - Urbánek, Tomáš (2011)