Перевод: со всех языков на все языки

со всех языков на все языки

использующее+лемму+3

  • 1 затем небольшое вычисление, использующее Лемму 3, приводит к тому, что (...)

    Mathematics: then a little calculation using Lemma 3 yields that (...)

    Универсальный русско-английский словарь > затем небольшое вычисление, использующее Лемму 3, приводит к тому, что (...)

  • 2 затем небольшое вычисление, использующее Лемму 3, приводит к тому, что

    Mathematics: (...) then a little calculation using Lemma 3 yields that (...)

    Универсальный русско-английский словарь > затем небольшое вычисление, использующее Лемму 3, приводит к тому, что

  • 3 then a little calculation using Lemma 3 yields that

    Универсальный англо-русский словарь > then a little calculation using Lemma 3 yields that

  • 4 вычисление

    (см. также результат) calculation, calculating, computation, evaluation
    Более точное вычисление показывает, что... - A more exact calculation shows that...
    Более тщательные вычисления, проделанные Смитом [1], дают... - A more accurate calculation by Smith [1] gives...
    Вычисления были выполнены... - The calculations were performed (by)...
    Вычисления вручную имеют тот недостаток, что... - Hand calculations have the disadvantage that...
    Вычисления показали, что... - Computations have shown that...
    Вычисления слегка упрощаются, если... - The computational work simplifies somewhat if...
    Вычисления, в основном, являются такими же, как... - The calculations are essentially the same as...
    Читателю предоставляется проделать это простое вычисление в деталях. - The details of this straightforward computation are left to the reader.
    Довольно громоздкое вычисление показывает, что... - A somewhat lengthy computation shows that...
    Довольно простые вычисления показывают, что... - A rather easy calculation shows that...
    Затем небольшое вычисление, использующее лемму 3, приводит к тому, что... - Then a little calculation using Lemma 3 yields that...
    Намеченные выше вычисления показывают, что... - The calculations outlined above show that...
    Однако при вычислении величины W мы должны принять во внимание тот факт, что... - In computing W, however, we must take into account the fact that...
    Остальная часть леммы 2 следует из весьма простых вычислений. - The rest of Lemma 2 follows by a very easy calculation.
    Подобные вычисления выявляют, что... - Similar computations reveal that...
    Подобные решения наиболее полезны для вычисления... - Such solutions are most useful for calculating...
    Подробные вычисления затрудняются вследствие проблем, возникающих из... - Detailed calculations are beset with difficulties arising from...
    Пример послужит для демонстрации выполнения этого вычисления. - An example will serve to show how the calculation is carried out.
    Реальные вычисления, однако, показывают, что... - Actual computations show, however, that...
    Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...
    Стандартные вычисления показывают, что... - A routine calculation shows that...
    Таким образом, наша задача сводится к вычислению... - Our problem becomes, therefore, one of evaluating...
    Только что проделанные вычисления показывают нам, что... - The result just calculated shows us that...
    Точное вычисление выражения (10) было бы трудным. - A precise evaluation of (10) would be difficult.
    Уравнение (4) часто используется как базис для вычислений... - Equation (4) is often used as a basis for the calculation of...
    Формальные вычисления показывают, что... - A formal calculation shows that...
    Чтобы упростить вычисления, введем... - То simplify the computations, we introduce...
    Эти вычисления слегка усложняются вследствие... - The calculations are made slightly more complicated by...
    Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...

    Русско-английский словарь научного общения > вычисление

См. также в других словарях:

  • Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия

  • Теорема о 9 точках на кубике — Иллюстрация к теореме о 9 точках Теорема о 9 точках на кубике  теорема аналитической геометрии, которая гласит, что[1] …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»