ужасно приятно все же. Этальные пучки! схемные точки многообразий! топология Нисневича, гензелевы локальные схемы! нормализация, основная теорема Зарисского! разрешение особенностей! нодальная кривая, нормальная поверхность! Красота.
С базисами Гребнера какими-нибудь не сравнить...
С базисами Гребнера какими-нибудь не сравнить...