3
Ориентиры для базисов Грёбнера и решения полиномиальных систем
В недавнем вопросе о решении системы из 7 нелинейных алгебраических уравнений символически Брайан Борхерс экспериментально подтвердил, что Maple может решать полиномиальную систему, с которой не справляется Matlab / Mupad. В прошлом я слышал от людей, работающих в этой области, что в Maple реализована высококачественная реализация базисов Грёбнера и связанных с …