Алгоритм матричного отображения графа на булев куб решения этой задачи, разработанный на базе предложенного ранее визуального
метода и ориентированный на
Доказательство основной теоремы алгебрыФормулируется и доказывается Основная
Теорема Алгебры.
Convergence of the grid method for the Fredholm equation of the first kind with Tikhonov regularization использованием регуляризатора А. Н. Тихонова. Сформулирована и доказана
теорема о сходимости этого
метода. Для её
Теорема о полунепрерывности снизу для отображений с s-усредненной характеристикойТеорема о полунепрерывности снизу для отображений с s-усредненной характеристикой
Проблема коллективного выбора, теорема Эрроу и ее короткое доказательствоПроблема коллективного выбора,
теорема Эрроу и ее короткое доказательство
Двумерное неавтономное гиперболическое уравнение второго порядка со степенными нелинейностями нелинейностями по первым производным. Доказана
теорема о необходимых и достаточных условиях, при которых это
Одна теорема о симплициальных комплексахОдна
теорема о симплициальных комплексах