Anglais ⇄ Russe +

matrix representation theorem contraintes
progr.	теорема о представлении матрицы (термин относится к теории синтаксического анализа, перевода и компиляции ssn)