Теория исключения
- Теория исключения — раздел математики, изучающий методы решения систем полиномиальных уравнений.
- Развитие теории исключения было вызвано необходимостью в эффективных методах решения систем полиномиальных уравнений.
- Одним из первых результатов была теорема Безу, ограничивающая число решений в случае двух многочленов от двух переменных.
- Общий подход заключался в исключении переменных для сведения задачи к одному уравнению с одной переменной.
- В 19 веке теория исключения была распространена на линейные диофантовы уравнения и абелеву группу с нормальной формой Эрмита и Смита.
- Были введены различные типы элиминантов, включая результирующие и различные виды дискриминантов.
- Теория исключения также имеет логический аспект, связанный с задачей о логической выполнимости.
- В теории исключения также есть логический аспект, связанный с задачей о логической выполнимости.
Полный текст статьи: