| Multigraphs do not in general obey Vizing's theorem. | Для мультиграфов, в общем случае, теорема Визинга не выполняется. |
| Obviously, the theorem is true for finite sets. | Очевидно, теорема верна для конечных множеств. |
| At first blush, the theorem appears quite convincing. | На первый взгляд, теорема выглядит вполне убедительной... |
| 'One can conjecture' or 'Fermat's last theorem'. | "Единая гипотеза" или "последняя теорема Ферма". |
| If the given graph G has small treewidth, Courcelle's theorem can be applied directly to this problem. | Если данный граф G имеет малую древесную ширину, теорема Курселя может быть применена к этой проблеме непосредственно. |
| Although Bayes' theorem is a fundamental result of probability theory, it has a specific interpretation in Bayesian statistics. | Хотя теорема Байеса является фундаментальным результатом теории вероятностей, она имеет конкретную интерпретацию в байесовской статистике. |
| Post's theorem shows that RE, together with its complement co-RE, correspond to the first level of the arithmetical hierarchy. | Теорема Поста показывает, что RE вместе с дополнительным co-RE соответствуют первому уровню арифметической иерархии. |
| The Jordan-Hölder theorem is a more precise way of stating this fact about finite groups. | Теорема Жордана - Гёльдера является более точным способом выражения этого факта для конечных групп. |
| For n = 1 this theorem is classical. | Для N = 1 эта теорема классическая. |
| While the theorem is true, Kempe's proof is incorrect. | Хотя сама теорема верна, доказательство Кемпе ошибочно. |
| The theorem is often attributed to Napoleon Bonaparte (1769-1821). | Теорема часто приписывается Наполеону Бонапарту (1769-1821). |
| Napoleon's theorem asserts that this triangle is an equilateral triangle. | Теорема Наполеона утверждает, что этот треугольник является правильным. |
| The fundamental theorem of Galois theory provides a link between algebraic field extensions and group theory. | Основная теорема теории Галуа устанавливает связь между алгебраическими расширениями и теорией групп. |
| Harper's theorem says that Hamming balls have the smallest vertex boundary among all sets of a given size. | Теорема Харпера утверждает, что шары Хэмминга имеют наименьшую вершинную границу среди всех множеств заданного размера. |
| However, this method requires a specific finite obstruction set to work, and the theorem does not provide one. | Однако для работы этого метода необходимо иметь препятствующее конечное множество, а теорема его не даёт. |
| The theorem was stated earlier in terms of projective configurations and was proven by Ernst Steinitz. | Теорема сформулирована ранее в терминах проективных конфигураций и доказана Эрнстом Штайницем. |
| Taylor's theorem is named after the mathematician Brook Taylor, who stated a version of it in 1712. | Эта теорема названа в честь математика Брука Тейлора, который сформулировал одну из её версий в 1712 году. |
| Vinogradov's theorem proves Goldbach's weak conjecture for sufficiently large n. | Теорема Виноградова доказывает слабую гипотезу Гольдбаха для достаточно большого n. |
| The second theorem, conjectured by Berge, provided a forbidden graph characterization of the perfect graphs. | Вторая теорема, высказанная Бержем как гипотеза, обеспечивала характеризацию запрещённых графов для совершенного графа. |
| The theorem says that, among algorithms that decode strings from their descriptions (codes), there exists an optimal one. | Теорема утверждает, что среди алгоритмов, восстанавливающих (декодирующих) строки из их описаний (кодов) существует оптимальный. |
| This theorem also has important roles in constructive mathematics and proof theory. | Эта теорема играет важную роль как пример в конструктивной математике и теории доказательства. |
| A typical result in extremal graph theory is Turán's theorem. | Типичный результат экстремальной теории графов - теорема Турана. |
| Later the splitting theorem was extended to Lorentzian manifolds with nonnegative Ricci curvature in the time-like directions. | Позже аналогичная теорема была доказана для лоренцевых многообразий с неотрицательной кривизной Риччи во времениподобных направлениях. |
| The theorem is "remarkable" because the starting definition of Gaussian curvature makes direct use of position of the surface in space. | Теорема «замечательна», поскольку авторское определение гауссовой кривизны использует положение поверхности в пространстве. |
| Mercer's theorem is similar to a generalization of the result from linear algebra that associates an inner product to any positive-definite matrix. | Теорема Мерсера подобна обобщению результата из линейной алгебры, которое связывает скалярное произведение с любой положительно определённой матрицей. |