Теорема Нётер
Теоре́ма Э́мми Нётер — теорема, доказанная Эмми Нётер в 1918 году. Была впервые определена в работах учёных гёттингенской школы Д. Гильберта, Ф. Клейна и самой Эмми Нётер.
Теорема Скулема
Названа в честь норвежского математика Туральфа Скулема, сформулировавшего задачу нахождения первого нуля в линейной рекуррентной последовательности с целочисленными коэффициентами.