Ημερομηνία: 21-09-2019 [2019-09-21] Συγγραφέας: ΖΑΠΠΑΣ, ΝΙΚΟΛΑΟΣ Σχολή: Σχολή Θετικών Επιστημών και Τεχνολογίας Τμήμα: Μεταπτυχιακή Εξειδίκευση στα Πληροφοριακά Συστήματα (ΠΛΣ) Περίληψη (Abstract): Σκοπός της παρούσας διπλωματικής εργασίας ήταν να βελτιώσει την αναγνωσιμότητα μιας γεωμετρικής απόδειξης ενός προβλήματος γεωμετρίας που παράγεται από έναν αυτόματο αποδείκτη θεωρημάτων. Αυτό έγινε μειώνοντας το μέγεθος των αποδείξεων ως προς το μήκος τους, το πλάτος τους, τον αριθμό των παραγόμενων προτάσεων και τον χρόνο παραγωγής τους. Η εργασία αποτελείται από δύο μέρη. Στο πρώτο μέρος έχου...