Инварианты и классификация дифференциальных квадратичных форм от четырех переменных

В работе построен в конечном виде наипростейший базис полной системы дифференциальных инвариантов римановых многообразий $V_4$, метризованных неособенной квадратичной дифференциальной формой $ds^2=g_{ij}(x)dx^idx^j$ сигнатуры $s=4,0,-2$. Кроме того, с помощью арифметических инвариантов неприводимых частей тензора кривизны $R_{hijk}$ фундаментального тензора пространства $g_{ij}$ дана классификация самих пространств Римана четырех измерений. Отсюда путем специализации получены инварианты и классификация конформно-плоских эйнштейновских четырехмерных пространств для любого из возможных значений сигнатуры $s$.