It consists essentially in developing algorithms and software for studying and finding the properties of explicitly given algebraic varieties.
Αποτελείται ουσιαστικά από την ανάπτυξη αλγορίθμων και λογισμικού για τη μελέτη και την εύρεση των ιδιοτήτων των ρητά δοσμένων αλγεβρικών ποικιλιών.