mathematical theorem
математическая теорема
proven theorem
доказанная теорема
theorem statement
формулировка теоремы
fixed point theorem
теорема о неподвижной точке
existence theorem
теорема существования
mean value theorem
теорема о среднем значении
comparison theorem
теорема сравнения
sampling theorem
теорема выборки
central limit theorem
теорема о предельном распределении
remainder theorem
теорема об остатке
coase theorem
теорема Коуза
chinese remainder theorem
китайская теорема об остатке
uniqueness theorem
теорема об однозначности
pythagorean theorem
теорема Пифагора
reciprocity theorem
теорема взаимности
theorem proving
доказательство теорем
gauss theorem
теорема Гаусса
duality theorem
теорема двойственности
approximation theorem
теорема аппроксимации
separation theorem
теорема о разделении
binomial theorem
биномиальная теорема
intermediate value theorem
теорема о промежуточном значении
I agree with the theorem that the best defence is offence.
Я согласен с теоремой о том, что лучшая защита - это нападение.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Чтобы установить теорему Кантора, необходимо показать, что f не является сюръективной.
His theorem can be translated into simple terms.
Его теорему можно перевести на простой язык.
In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.
В этой статье будет представлена теорема о жесткости гиперповерхности в пространстве реальной формы. Кроме того, мы получаем теоремы о жесткости подмногообразия в сфере, которые улучшают результат Ху и Сюй.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Вводится битонический алгоритм, и доказывается теорема. Приведен алгоритм битонической сортировки слиянием.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Кроме того, в статье предлагаются теорема суждения о принятии решений, теорема распознавания решений, теорема об отбрасывании избыточных решений и принцип копания ям в отношении вселенной факторов принятия решений X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
В этой статье представлено кодирование источника для стационарных гауссовских источников с дискретным временем и абсолютно суммируемой автокорреляционной последовательностью.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
В данной статье с использованием верхних и нижних решений доказывается теорема об существовании почтипериодических решений для интегральных дифференциальных систем.
The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.
Изучены свойства неосцилляций уравнений разностных производных второго порядка полулинейного типа. Получены теорема сравнения и достаточное условие неосцилляций.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Установлена новая теорема неравенства мини-макс, которая будет использоваться для изучения проблем существования решений квази-вариационных неравенств на паракомпактных множествах.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Основываясь на некоторых основных теоремах теории чисел, эта программа использует вероятностный алгоритм для проверки большого числа на простоту.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Этот подход использует древовидный индекс и теорему о области порядка листьев для оценки полугибких запросов к дереву онтологии.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
В этой статье разработаны общие теоремы и вариационные принципы решения граничной задачи для двух моментов времени в нелинейной эластодинамике.
This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.
В данной статье обобщены некоторые свойства коалгебры до π-коалгебры, которая определена Алексисом Вирелизом. Основной результат статьи обобщает фундаментальную теорему изоморфизма до π-коалгебры.
By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.
Представлены методы доказательства свойств полунепрерывной функции и ряда с функциональными членами, использование теоремы конечного зависти и ее применение в решении проблем.
This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.
В этой статье представлена и доказана дискриминантная теорема, которая подходит для исследования детерминированности дискретной линейной системы, что показывает, что в этой области решена важная проблема.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
В качестве приложения приводятся некоторые теоремы о несуществовании нестабильных гармонических отображений из многообразия Финслера в риманово многообразие.
In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.
При практическом применении сильно ненормальных матриц эти теоремы могут быть более полезными, чем их частные случаи обобщенных собственных значений, и могут предоставить больше описательной информации.
Изучите часто ищемую лексику
Хотите учить слова эффективнее? Скачайте приложение DictoGo и получите больше возможностей для запоминания и повторения слов!
Скачайте DictoGo сейчас