Подгруппы Томпсона и большие абелевы унипотентные подгруппы групп лиева типа классических типов подгруппы Томпсона
и большие абелевы подгруппы групп U были описаны к середине 1980-х годов
Объектно-ориентированное программирование и проектированиеОбъектно-ориентированное программирование
и проектирование
Algebraic Geometry over Heyting AlgebrasВ этой статье мы изучаем алгебраическую геометрию над гейтинговыми алгебрами
и исследуем свойства