English | Russian |
a more profound analysis enables us to prove that | давать возможность |
absence to prove | недоказанность |
before making some other estimates, we need to prove that | перед тем как |
before we go on to prove that | прежде, чем продолжить доказательство, что ... |
before we prove | прежде чем доказывать |
failing to prove | недоказательный |
final prove-out | заключительная проверка |
he set himself the task of proving the possibility | он поставил перед собой задачу доказать возможность |
he set himself the task of proving the possibility | он поставил перед собой задачу доказать возможность |
in complete analogy with this result we may prove | совершенно аналогично этому результату мы могли бы доказать |
in order to prove this lemma, it is necessary to put impose some restrictions on f | ограничение на |
in proving theorem 1, we showed first that | при доказательстве |
in proving this theorem one considers a family g (x, i) of admissible curves of the form | при доказательстве данной теоремы ... |
it is a matter of direct verification to prove that | непосредственной проверкой можно доказать, что |
it is a matter of direct verification to prove that | можно доказать непосредственной проверкой, что |
it is a matter of direct verification to prove that | непосредственной проверкой можно доказать, что |
it is a matter of direct verification to prove that | можно доказать непосредственной проверкой, что |
it is easy to prove by induction that | легко доказать по индукции, что (for each ...) |
it is easy to prove from d'Alembert's principle that | используя принцип Даламбера, нетрудно доказать, что |
it is easy to prove from d'Alambert's principle that | легко доказать при помощи |
it is sufficient to prove that ... | теперь достаточно доказать, что ... (it is sufficient to prove that every finite subfamily of spheres has a non-void intersection) |
it is sufficient to prove that every finite subfamily of spheres has a nonvoid intersection | непустое пересечение |
it remains only to prove | стоит только доказать |
it suffices to prove that | достаточно только доказать |
let us now give an idea on how to prove Theorems 2 and 3 | идея доказательства |
let us prove | докажем |
most probably, this method will prove useful if | наиболее |
only he can prove it | один он может это доказать |
pave the way for proving | проложить путь для доказательства (A couple of more lemmas help to pave the way for proving the third part of Theorem D) |
prove a failure | оказаться безуспешным |
prove able | смочь |
prove able | мочь |
prove again | передоказать (pf of передоказывать) |
prove again | передоказывать |
prove an equation | доказывать справедливость уравнения |
prove by examination | доказывать перебором |
prove by exhaustion | доказывать перебором |
prove by experiment | доказывать путём эксперимента |
prove by induction | определять индуктивно |
prove conclusively | являться убедительным доказательством |
prove deleterious | оказывать вредное влияние |
prove deleterious effect upon | оказывать вредное влияние |
prove differentiability | доказывать дифференцируемость |
prove oneself | оправдывать себя |
prove oneself to be | зарекомендовать себя |
prove successful | оказаться успешным |
prove the theorem | доказывать теорему |
prove Theorem 1, we show that | чтобы доказать Теорему 1, мы покажем, что ... |
prove-the-rule exception | исключение, подтверждающее правило |
prove to be | оказываться |
prove to be | оказаться |
prove useful | пригодиться |
prove useless | оказаться бесполезным |
prove one's worth | оправдывать себя |
re-prove | передоказать |
re-prove | передоказывать |
she succeeded in proving the theorem | ей удалось доказать теорему |
the above proposition is very well known and easy to prove | является очень хорошо известным |
the maser may eventually prove to be the best coherent detector | в конечном счёте |
theorem-proving heuristics | эвристика доказательства теоремы |
theorem-proving process | процесс доказательства теоремы |
theorem-proving system | система доказательства теоремы |
this problem will be proved once we prove the lemma below | если только |
this proves that | это доказывает, что |
this proves the lemma | что и доказывает лемму |
this proves the theorem | что и заканчивает доказательство теоремы |
Time was when it was fashionable to prove | одно время было модным доказывать ... |
we aim to prove the theorem | мы хотим доказать теорему |
we are now in a position to prove | приступить к |
we could prove the necessary regularity for the solution | мы могли бы доказать необходимую регулярность решения (but we leave this to the reader) |
we have no way of proving that | не иметь возможности |
we prove this result in greater generality than before and derive interesting new consequences | с большей степенью общности |
we prove this result in greater generality than before and derive interesting new consequences | чем ранее |
we prove this result in greater generality than before and derive interesting new consequences | докажем более общий результат |
we prove this theorem by induction on n | по индукции |
we seek to prove the existence of an inertial manifold | мы собираемся доказать |
we seek to prove the existence of an inertial manifold | мы собираемся доказать |
we shall prove | дадим обоснование |
we shall prove | докажем |
we shall prove | дадим доказательство |
we shall prove | дадим вывод |
we succeeded in proving the theorem | нам удалось доказать теорему |
what is left is to prove that | то, что осталось |
which is what we set out to prove | что и требовалось доказать |
which proves | что доказывает |
which proves the statement | что и требовалось доказать |
which proves the theorem | что и требовалось доказать (The conclusion of Lemma follows directly.) |