Как проверить решение задачи на условный экстремум?

Question

[kykyryky]

Есть задача нахождения условного экстремума:



Нужно проверить решение в каком-нибудь мат.пакете. Например WolframAlpha принял только два ограничения, а про остальные сказал что-то вроде "идиот, что ты мне суешь?". Больше ничего особо не нагуглил, другими мат.пакетами владею плохо. Помогите решить.

Answer 1

[Dvvarreyn]

В matlab quadprog в данном случае должно дать численное решение с очень хорошей точностью.
www.mathworks.com/help/optim/ug/quadprog.html

Похожий численный решатель для квадратичного программирования есть в octave https://www.gnu.org/software/octave/doc/interprete...

Answer 2

[Виталий Витренко]

Теорема Куна-Таккера.