Теория исключения

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