Παπαδόπουλος, Π., & Παγουρτζής, Α. (2017). Ενοποίηση σχετικιστικών και φυσικών αποδείξεων για την εύρεση νέων κάτω φραγμάτων. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Λογικής και Επιστήμης Υπολογισμών.
Παραπομπή Chicago StyleΠαπαδόπουλος, Πλάτων-Λέανδρος, and Αριστείδης Παγουρτζής. Ενοποίηση σχετικιστικών και φυσικών αποδείξεων για την εύρεση νέων κάτω φραγμάτων. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Λογικής και Επιστήμης Υπολογισμών, 2017.
Παραπομπή MLAΠαπαδόπουλος, Πλάτων-Λέανδρος, and Αριστείδης Παγουρτζής. Ενοποίηση σχετικιστικών και φυσικών αποδείξεων για την εύρεση νέων κάτω φραγμάτων. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Λογικής και Επιστήμης Υπολογισμών, 2017.