Αντωνόπουλος Νίκος, Αλγεβρική επίλυση γεωμετρικών προβλημάτων (Αυτόματες - Αγλοριθμικές Αποδείξεις , το τρίτο πρόβλημα Hilbert), 2011,