Αποδοτική αριθμητική ακεραίων και πολυωνύμων, με απόλυτη ακρίβεια. Αποδοτική αριθμητική πινάκων. Πολυώνυμα σε μια μεταβλητή. Πολυώνυμα πολλών μεταβλητών. Μελέτη πολυωνυμικών συστημάτων. Ιδεώδη, ποικιλότητες (varieties) και βάσεις Groebner, αλγόριθμος του Buchberger. Θεωρητικές ή πρακτικές (π.χ. Maple) ασκήσεις. Εφαρμογές: Κινηματική των ρομπότ (εικόνα παράλληλου ρομπότ). Δομική βιοπληροφορική και γράφοι αποστάσεων. Υπολογιστική γεωμετρία και Γεωμετρική σχεδίαση. Υπολογιστική θεωρία παιγνίων.