Μιχαλοπούλου Αικατερίνη, Τρόποι με τους οποίους η εικασία μπορεί να οδηγήσει στην απόδειξη μέσω εργαλείων δυναμικού χειρισμού, 2012,