Terms containing theorem

Subject	English	Russian
math.	a theorem of Gauss	одна теорема Гаусса
math.	a theorem of Markov	одна теорема Маркова
tech.	a theorem on	теорема о
Makarov.	a theorem on	теорема о
math.	a theorem proved in a less complete form	теорема, доказанная в менее полной форме
math.	A useful application of this theorem is to the robot arm equations of MT	полезное приложение
Makarov.	addition theorem of Slater orbitals	теорема сложения слейтеровских орбиталей
math.	an earlier theorem of Euler	более ранняя теорема Эйлера
AI.	automated geometric theorem proving	автоматическое доказательство теорем геометрии (Alex_Odeychuk)
softw.	automated theorem prover	инструмент автоматического доказательства теорем (Alex_Odeychuk)
AI.	automated theorem prover	система автоматического доказательства теорем (Microsoft Alex_Odeychuk)
AI.	automated theorem proving	автоматическое доказательство теорем (Alex_Odeychuk)
AI.	automated theorem proving system	система автоматического доказательства теорем (Alex_Odeychuk)
IT	automatic theorem prover	программа автоматического доказательства теорем
AI.	automatic theorem prover	автоматический доказатель теорем (Microsoft Alex_Odeychuk)
Makarov.	automatic theorem prover	программа для автоматизированного доказательства теорем
AI.	automatic theorem prover for satisfiability modulo theories	автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk)
AI.	automatic theorem prover for satisfiability modulo theories problems	автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk)
AI.	automatic theorem prover for SMT problems	автоматический доказатель теорем для задач выполнимости формул в теориях
progr.	automatic theorem proving	автоматическое доказательство теорем (ssn)
math.	before quoting the theorem, we present a revised definition of	прежде, чем сформулировать эту теорему ...
Makarov.	Berlin's theorem of binding and antibinding molecular regions	теорема Берлина для связывающих и антисвязывающих молекулярных областей
aerodyn.	Bernoulli theorem for a viscous incompressible fluid	теорема Бернулли для несжимаемой вязкой жидкости
aerodyn.	Bernoulli theorem on boundary energy	теорема Бернулли о энергии пограничного слоя
Makarov.	Bloch theorem of superconductivity	теорема Блоха о сверхпроводимости
aerohydr.	circle theorem of hydrodynamics	теорема гидродинамики об обтекании окружности
IT	computer theorem proving	машинное доказательство теорем
math.	concerning a theorem of analysis (если в заголовке	об одной теореме анализа
math.	Cover's theorem on the separability of patterns	теорема Ковера о разделимости множеств (clck.ru dimock)
neur.net.	Cover's theorem on the separability of patterns	теорема Ковера о разделимости образов (clck.ru dimock)
math.	divergence theorem for tensor fields	теорема о дивергенции векторных полей
math.	Euler's theorem on polyhedra	теорема о многогранниках
tech.	fundamental theorem of algebra	основная теорема алгебры
math.	fundamental theorem of arithmetic	основная теорема арифметики
math.	Fundamental theorem of calculus	Формула Ньютона-Лейбница (ezik92)
automat.	fundamental theorem of information transmission	фундаментальная теорема передачи информации
progr.	fundamental theorem of readability	фундаментальная теорема читаемости (кода ssn)
econ.	Fundamental Theorem of Welfare Economics	Фундаментальная Теорема Экономики Благосостояния (в русской экономической литературе распространено Первая теорема экономики благосостояния karpov_hse)
Makarov.	he establishes a theorem on the existence of a unique solution of	он доказывает теорему о существовании единственного решения
gen.	he establishes a theorem on the existence of a unique solution of ...	он доказывает теорему о существовании единственного решения
math.	he establishes a theorem on the existence of a unique solution of the corresponding boundary value problem	он доказывает теорему о существовании единственного решения
math.	he establishes a theorem on the existence of a unique solution of the corresponding boundary value problem	он доказывает теорему о существовании единственного решения
math.	he intended to establish the general theorem but proved only its first part	но довольствовался
aerodyn.	Helmholtz theorem on conservation of vortex lines	теорема Гельмгольца о сохранении вихревых линий
aerodyn.	Helmholtz theorem on conservation of vortex strength	теорема Гельмгольца о сохранении напряжения вихревой нити
aerodyn.	Helmholtz theorem on vorticity diffusion in a viscous liquid	теорема Гельмгольца о диффузии вихрей в вязкой жидкости
AI.	high-performance theorem prover	высокопроизводительный доказатель теорем (Microsoft Alex_Odeychuk)
math.	I first give some preliminaries for the proof of Theorem D	сначала я приведу некоторые данные, необходимые для
math.	in is not possible to extend Abel's theorem to paths which are tangent to the unit circle	распространить теорему на
math.	in proving theorem 1, we showed first that	при доказательстве
math.	in proving this theorem one considers a family g (x, i) of admissible curves of the form	при доказательстве данной теоремы ...
AI.	interactive theorem prover	интерактивный доказатель теорем (Alex_Odeychuk)
AI.	interactive theorem proving	интерактивное доказательство теорем (Alex_Odeychuk)
AI.	interpolating theorem prover	доказатель интерполяционных теорем (Microsoft Alex_Odeychuk)
math.	inverse function theorem for plurisubharmonic functions	теорема об обратной функции для плюрисубгармонических функций (Вера Кузнецова)
math.	it follows from theorem that	как следует из теоремы
math.	it is not possible to extend Abel's theorem to paths which are tangent to the unit circle	теорему Абеля невозможно распространить на случай путей, касательных к единичной окружности
math.	it is not too difficult to see that our theorem implies	нетрудно видеть, что (3)
math.	it is not too difficult to see that our theorem implies	теорема влечёт за собой равенство (5; 5)
math.	it is theorem 1 that makes this definition allowable	допустимый
media.	Kleene’s theorem on regular expressions	теорема Клина о регулярных выражениях (утверждающая, что язык определим регулярным выражением только тогда, когда он распознаваем конечным автоматом)
aerodyn.	Lagrange-Cauchy theorem on irrotationality	Теорема Коши-Лагранжа о сохранении безвихревого потока
math.	life would be simple if the generalization of this theorem held in higher dimensions	обобщение этой теоремы имело бы место в высоких размерностях
Makarov.	lower bound theorem of plasticity	теорема о нижней оценке в теории пластичности
Makarov.	lower bound theorem of plasticity	теорема о нижней границе в теории пластичности
phys.	Nielsen–Ninomiya no-go theorem for regularizing chiral fermions	теорема Nielsen–Ninomiya о невозможности дискретизации фермиона простейшего вида (MichaelBurov)
phys.	Nielsen–Ninomiya no-go theorem for regularizing chiral fermions	теорема Nielsen–Ninomiya о невозможности дискретизации фермиона простейшего вида (MichaelBurov)
math.	note that Theorem 1 in particular contains the two cases when	отметим, что Теорема 1, в частности, содержит в себе два случая, когда ...
progr.	optimizing theorem prover	доказатель оптимизационных теорем (Microsoft Alex_Odeychuk)
math.	our proof of Theorem 2 follows the arguments in 2 closely	наше доказательство Теоремы 2 близко следует рассуждениям из 2
Makarov.	pairing theorem for pi-electron carbenes	теорема парности для пи-электронных карбенов
scient.	the proof of the first part of the theorem follows directly from	доказательство первой части теоремы непосредственно следует из ...
progr.	proofs of theorem and programs	доказательства теорем и программ (ssn)
tech.	prove a theorem by contradiction	доказывать теорему способом от противного
Makarov.	prove a theorem by exhaustion	доказывать теорему перебором
math.	prove Theorem 1, we show that	чтобы доказать Теорему 1, мы покажем, что ...
math.	relying upon the Pythagorean theorem for right-angled triangles	опираясь на
IT	resolution theorem proving	доказательство теорем методом резолюции
automat.	sampling theorem in the frequency domain	теорема о дискретном представлении по частоте
econ.	second theorem of welfare economics	вторая теорема экономики благосостояния (Yuriy Sokha)
progr.	seminal paper on social processes and proofs of theorem and programs	оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn)
math.	the application of theorem 5 yields	давать
math.	the Bendixson theorem on the existence of limit cycles	теорема Бендиксона о существовании предельных циклов
math.	the estimating theorem which is described in Ch. 2 gives a partial answer to this problem	частичный ответ
math.	the estimating theorem which is described in Ch. 2 gives a partial answer to this problem	даёт частичный ответ для этой проблемы
econ.	the first fundamental theorem of welfare economics	первая основная теорема экономики благосостояния (A.Rezvov)
math.	the following theorem gives a limitation on the number of the solutions	следующая теорема даёт ограничение на число решений
Makarov.	the fundamental theorem of algebra	основная теорема алгебры
math.	the geometric theorem of Poincare	геометрическая теорема Пуанкаре
math.	the geometric theorem of Poincare Poincare's geometric theorem	геометрическая теорема Пуанкаре
math.	the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in 4	центральное орудие
math.	the key tools in the proof of Theorem 1 are asymptotic existence theorems 3	основным средством в доказательстве
math.	the oldest vanishing theorem goes back to C. Gauss	самая ранняя
math.	the oldest vanishing theorem goes back to C. Gauss	первая теорема о ... восходит к
math.	the proof of the theorem is finished	что и заканчивает доказательство теоремы
math.	the proof of Theorem 2.1 is arranged as a series of seven Lemmas /Lemma 2.1 to Lemma 2.7/	доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм /от Леммы 2.1 до Леммы 2.7/
math.	the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство этой теоремы использует технику, подобную применяемой в вышеуказанных статьях
math.	the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство этой теоремы использует технику, подобную приведённой в цитированных выше работах
math.	the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство использует очень близкую технику
math.	the proof of this theorem uses very similar techniques to the ones outlined in the above papers	доказательство данной теоремы использует технические средства, подобные указанным в вышеназванных статьях
econ.	the second fundamental theorem of welfare economics	вторая основная теорема экономики благосостояния (A.Rezvov)
math.	the technique of the proof of Theorem 2 shares much the same principles with the above mentioned result due to Bauer 3	техника доказательства теоремы 2 основана на аналогичных принципах ...
math.	the theorem and its proof techniques give a lot of insight	как сама теорема, так и техника её доказательства дают глубокое понимание (into the way multilinear operators should be analyzed)
math.	the theorem and its proof techniques give a lot of insight into the way multilinear operators should be analyzed	давать глубокое проникновение в способ, которым
mech.	the theorem asserts that	Теорема утверждает (что)
math.	the theorem below	нижеприведённая теорема
math.	the theorem can be extended to absolutely continuous functions	теорема может быть распространена на случай абсолютно непрерывных функций
math.	the theorem can be extended to absolutely continuous functions	теорема может быть перенесёна на случай абсолютно непрерывных функций
math.	the theorem has been known since 1970	эта теорема известна с 1970 года
math.	the theorem is an example	один из примеров – это данная теорема
math.	the theorem is closely related to a recent result of Bergman	результат, полученный независимо
math.	the theorem is closely related to recent results	эта теорема тесно связана с последними результатами
math.	the theorem is proved	теорема доказана
math.	the theorem is proved in three steps	за ... шагов (этапов)
math.	the theorem is proved in three steps	за... шагов этапов
math.	the theorem of Pyphagoras	теорема Пифагора
mech.	the theorem provides a new method for proving some fundamental facts about	эта теорема даёт новый метод доказательства некоторых фундаментальных фактов о ...
math.	the theorem reads that	теорема формулирует, что
math.	the theorem tells us the answer is affirmative	теорема утверждает, что ответ на данный вопрос утвердительный
math.	the theorem tells us the answer is affirmative	теорема утверждает, что ответ на данный вопрос является утвердительным
math.	the theorem tells us the answer is affirmative	теорема утверждает, что ответ на данный вопрос положительный
math.	the theorem was first proved by	теорема была впервые доказана
math.	theorem 2 can be extended to deal with parabolic equations	теорема 2 может быть расширена на случай параболического уравнения
math.	theorem 2 can be extended to deal with parabolic equations	теорема 2 может быть расширена на случай параболических уравнений
math.	theorem-finding heuristics	эвристика построения теоремы
math.	theorem implies	из теоремы следует, что
math.	theorem 1 is nothing but the statement that	не иное что, как
math.	theorem of alternatives	теорема об альтернативах для матриц
tech.	theorem of Appolonius	теорема Аполлония
phys.	theorem of Bayes	теорема Бейса
tech.	theorem of Castigliano	теорема Кастильяно
math.	theorem of choice	теорема выбора
math.	theorem of closed graph	теорема о замкнутом графике
Makarov.	theorem of conservation	закон сохранения
tech.	theorem of corresponding states	теорема соответственных состояний
tech.	theorem of duality	закон двойственности
quant.el.	theorem of equipartition of energy	теорема Больцмана о равномерном распределении энергии по степеням свободы
tech.	theorem of equipartition of energy	теорема Больцмана о равнораспределении энергии по степеням свободы
tech.	theorem of equipartition of energy	теорема о равнораспределении энергии по степеням свободы
Makarov.	theorem of equipartition of energy	теорема о равномерном распределении энергии по степеням свободы (Больцмана)
math.	theorem of existence	теорема существования
geophys.	theorem of impulse	теорема импульса
phys.	theorem of invariance	теорема инвариантности
construct.	theorem of joint translation	теорема смещения узлов
aerodyn.	theorem of Kutta-Joukowski	теорема Кутта-Жуковского о подъёмной силе
phys.	theorem of Laplace	теорема Лапласа
construct.	theorem of least work	теорема о наименьшей работе
seism.	theorem of least work	принцип наименьшей работы
econ.	theorem of mean	теорема о среднем
automat.	theorem of minimum energy	теорема минимальной энергии (ssn)
construct.	theorem of minimum potential energy	теорема минимума потенциальной энергии
Makarov.	theorem of minimum potential energy	теорема о минимуме потенциальной энергии
math.	theorem of modularity	гипотеза Таниямы-Шимуры-Вейля (MichaelBurov)
math.	theorem of modularity	гипотеза Таниямы-Симуры-Вейля (MichaelBurov)
math.	theorem of modularity	гипотеза Таниямы-Шимуры (MichaelBurov)
math.	theorem of nested intervals	теорема о вложенных отрезках
math.	theorem of numerical comparison	теорема о численном сравнении
IT	theorem of prime numbers	теорема простых чисел
phys.	theorem of remainder	теорема Безу
math.	theorem of residues	теорема о вычетах
tech.	theorem of similarity	теорема подобия
tech.	theorem of similarity transformation	теорема подобия
tech.	theorem of sines	теорема синусов
math.	theorem of system	теорема системы
qual.cont.	theorem of the mean	теорема о среднем
IT	theorem of the sine	теорема синусов
cartogr.	theorem of the sines	закон синусов
cartogr.	theorem of the sines	теорема синусов
construct.	theorem of three moments	теорема трёх моментов (теорема Клапейрона)
seism.	theorem of three moments	теорема трёх моментов (теорема Клайперона)
econometr.	theorem of total probability	формула полной вероятности
econ.	theorem of total probability	теорема о полной вероятности
robot.	theorem of unique existence	теорема существования и единственности
math.	theorem of units	теорема об единицах
construct.	theorem of virtual displacement	теорема возможных перемещений
Makarov.	theorem of virtual displacement	принцип возможных перемещений
construct.	theorem of virtual work	теорема о возможной работе
Makarov.	theorem on	теорема о
math.	theorem on consistency proofs	теорема о доказательствах непротиворечивости
math.	theorem on constants	теорема о константах
math.	theorem on iterated limits	теорема о повторном пределе (alexeyaxim)
phys.	theorem on polyhedra	теорема о многогранниках
aerodyn.	theorem on the isotropy of pressure	принцип передачи давлений
aerodyn.	theorem on uniqueness of viscous flows	теорема тождественности вязких течений
Makarov.	theorem proof	доказательство теоремы
AI.	theorem prover	система доказательства теорем (Microsoft Alex_Odeychuk)
AI.	theorem prover	системой автоматического доказательства теорем (Alex_Odeychuk)
AI.	theorem prover	доказыватель теорем (Alex_Odeychuk)
progr.	theorem prover	инструмент автоматического доказательства теорем (Alex_Odeychuk)
el.	theorem prover	программа для доказательства теорем (с использованием аксиоматической базы данных)
math., softw.	theorem prover	утилита автоматического доказательства теорем (Alex_Odeychuk)
AI.	theorem prover	доказатель теорем (Microsoft Alex_Odeychuk)
progr.	theorem proving	машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
oil	theorem proving	доказательство теорем
softw.	theorem proving	дедуктивный анализ (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk)
AI.	theorem proving	доказывание теорем (Alex_Odeychuk)
progr.	theorem proving	автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
comp.	theorem proving	доказательство теоремы
math.	theorem-proving heuristics	эвристика доказательства теоремы
AI.	theorem proving language	язык программирования на основе автоматического доказательства теорем (Alex_Odeychuk)
AI.	theorem proving methodology	методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)
math.	theorem-proving process	процесс доказательства теоремы
IT	theorem proving program	программа для построения доказательств
IT	theorem proving programme	программа для построения доказательств
math.	theorem-proving system	система доказательства теоремы
math.	theorem 2 reads or states that	теорема 2 гласит ...
mech.	theorem relating series and functions	теорема, связывающая ряды и функции
progr.	theorem schema	теоремная схема (ssn)
progr.	theorem schemata	теоремные схемы (ssn)
math.	theorem scheme	теоремная схема
math.	theorem 2 states that a>b	теорема 2 утверждает, что
math.	theorem 1 tells us the answer is affirmative when	теорема 1 говорит нам, что ответ является утвердительным, если ...
math.	theorem 1 tells us the answer is positive when	теорема 1 говорит нам, что ответ является утвердительным, если ...
math.	theorem 1 was used when deriving the above equation	при получении
math.	this fact together with Theorem 1 implies the following corollary	из этого факта совместно с Теоремой 1 вытекает следующее следствие
math.	this fact together with Theorem 1 implies the following corollary	из данного факта и Теоремы 1 вытекает следующее следствие
math.	this theorem allows us to eliminate from consideration all these parameters	из рассмотрения
gen.	this theorem can be used to find	эта теорема может быть использована для нахождения
math.	this theorem can be used to find	теорема может быть использована, чтобы находить
math.	this theorem can be used to find	теорема может быть использована для нахождения
gen.	this theorem can be used to find	эта теорема может быть использована, чтобы находить
math.	this theorem has been generalized to higher dimensions by Weinstein	данная теорема была обобщена на случай высоких размерностей Вейнштейном в 1967 г (1967)
math.	this theorem improves a result of Day 7	эта теорема улучшает результат Дэя 7
math.	this theorem is due to I.P. Ivanov	автором этой теоремы является
aerodyn.	Thomson theorem on conservation of vortex lines	теорема Томсона о сохранении вихревых линий
aerodyn.	Thomson theorem on material change of circulation	теорема Томсона о производной циркуляции скорости
math.	together the two theorem show that	эти две теоремы вместе показывают, что ...
seism.	upper bound theorem of limit analysis	теорема о верхней границе нагрузки в теории предельного равновесия
math.	use the minimax theorem on the matrix B to obtain an expression for	применить к
scient.	via theorem 2, we know that	из теоремы 2 мы знаем ...
Makarov.	virial theorem decomposition	разложение с помощью теоремы вириала
math.	we get the central theorem of numerical analysis	основная теорема численного анализа
math.	we may interpret the theorem as saying that	мы могли бы интерпретировать данную теорему (the Euler number is given by ...)
math.	we prove this theorem by induction on n	по индукции
math.	we will simplify the proof of theorem slightly	мы несколько упростим доказательство (by working with the subspaces)
math.	we will simplify the proof of theorem slightly	мы несколько упростим доказательство (by working with the subspaces; ...)
math.	we will simplify the proof of theorem slightly by working with the subspaces	мы упростим слегка доказательство теоремы, используя подпространства
math.	we will simplify the proof of theorem slightly by working with the subspaces	мы слегка упростим доказательство теоремы, используя подпространства
aerodyn.	Zorawski theorem on conservation of vortex lines	теорема Журавского о сохранении вихревых линий
aerodyn.	Zorawski theorem on persistence of circulation	теорема Журавского о сохранении циркуляции