Text this: Ενσωμάτωση της δυναμικής γεωμετρίας στην αποδεικτική διαδικασία