Примеры использования Инвариантов на Русском языке и их переводы на Английский язык
{-}
-
Official
-
Colloquial
Широко используется в теории инвариантов.
They are important in summability theory.О порождающем множестве подалгебры инвариантов свободной ограниченной алгебры Ли.
Он был известен как« король теории инвариантов».
He was known as"the king of invariant theory.Специалист в области теории инвариантов, алгебраической геометрии и теории представлений.
Expert in the invariant theory, algebraic geometry and representation theory.Daikon- реализация динамического детектора инвариантов.
Daikon(system) is an implementation of dynamic invariant detection.Наша основная цель- доказать, что подалгебра инвариантов LG бесконечно порождена.
Our main purpose to prove that LG subalgebra of invariants is is infinitely generated.Множество важных инвариантов можно определить таким образом, включая полином Джонса.
Теория классов Чженя является источником инвариантов кобордизмов для почти комплексных структур.
The theory of Chern classes gives rise to cobordism invariants for almost complex manifolds.Открытие инвариантов является важным шагом в процессе классификации математических объектов.
The discovery of invariants is an important step in the process Основной метод, используемый для достижения этой цели,состоит в построении так называемых инвариантов узлов.
The main approach to this problem, which is decribed in this review,is to construct the so-called knot invariants.Для каждого набора инвариантов, удовлетворяющих этим отношениям, есть квадратичная форма.
For every set of invariants satisfying these relations, there is a quadratic form over K with these Метод содержит правило вывода для итерации без инвариантов, которое использует специальную функцию.
The method includes an inference rule for the iteration without invariants, which uses a special function that expresses loop body.Формирование инвариантов профессиональной компетентности студента: ситуационно- контекстный подход: Автореф.
Formation of invariants of professional competence of the student: situational-contextual approach: Abstr.В 1890 году Давид Гильберт доказал похожее утверждение для инвариантов однородных многочленов от любого числа переменных.
In 1890, David Hilbert proved a similar statement for the invariants of homogeneous polynomials in any number of variables.Теория инвариантов изучает выражения, которые остаются неизменными( инвариантными) относительно некоторой группы преобразований.
Invariant theory is concerned with expressions that remain constant(invariant) under a group of transformations.Созданы основы теории диагонализации матриц используяодиниз важнейших инвариантов К- теории- стабильного ранга кольца.
Bases of theory of diagonalization of matrices are created using of one of important invariants of K-theory- stable range of ring.Определение инвариантов классов может помочь программистам и тестировщикам обнаружить больше ошибки при тестировании программного обеспечения.
Defining class invariants can help programmers and testers to catch more bugs during software testing.Как в детерминированном случае, есть много специальных инвариантов, для которых нижняя граница Ω( n 2){\ displaystyle\ Omega( n^{ 2})} известна.
As in the deterministic case, there are many special properties for which an Ω(n2) lower bound is known.Получив ее работу, Эйнштейн написал Гильберту:Вчера я получил очень интересную статью госпожи Нетер о построении инвариантов.
Upon receiving her work, Einstein wrote to Hilbert:Yesterday I received from Miss Noether a very interesting paper on invariants.Бо́льшая часть работы Эмми Нетер в первый период ее научной карьеры была связана с теорией инвариантов, главным образом с теорией алгебраических инвариантов.
Much of Noether's work in the first epoch of her career was associated with invariant theory, principally algebraic invariant theory.Например, теорема Хохстера- Робертса утверждает, что кольцо инвариантов линейной редуктивной группы, действующей на регулярном кольце, является кольцом Коэна- Маколея.
For example, the Hochster-Roberts theorem states that the invariant ring of a linearly reductive group acting on a regular ring is Cohen-Macaulay.Эта идея оказалась плодотворной, что выразилось в исследованиях пространств модулей векторных расслоений,начиная с работы в 1960- х годах по геометрической теории инвариантов.
This idea would prove fruitful, in terms of modulispaces of vector bundles. following on the work in the 1960s on geometric invariant theory.Эти формулы и тот факт, что каждый из этих инвариантов должен быть положительным целым числом, накладывают строгие ограничения на возможные значения инвариантов. .
These formulae, and the fact that each of the invariants must be a positive integer, place quite strict limitations on their possible values.В общей теории относительности инварианты Карминати- Макленахана( англ.Carminati- McLenaghan invariants, CM scalars) составляют один из наборов скалярных инвариантов кривизны.
In general relativity, the Carminati-McLenaghan Оригинальной терминологией для инвариантов графов, удовлетворяющих рекурсии удаления- стягивания была W- функция, а термин V- функция он использовал для случая умножения компонент.
His original terminology for graph invariants that satisfy the deletion-contraction recursion was W-function, and V-function if multiplicative over components.Предмет топологии ясно определил еще Феликс Клейн в своей« Эрлангенской программе»( 1872): это геометрия инвариантов произвольных непрерывных преобразований, своего рода качественная геометрия.
The subject is clearly defined by Felix Klein in his"Erlangen Program"(1872): the geometry invariants of arbitrary continuous transformation, a kind of geometry.Большинство важных инвариантов компактных комплексных поверхностей, используемых при классификации, могут быть даны в терминах размерностей различных групп когомологий когерентных пучков.
The most important invariants of a compact complex surfaces used in the classification can be given in terms of the dimensions of various coherent sheaf cohomology groups.Им введены методы малого параметра( теорема Пуанкаре о разложении интегралов по малому параметру), неподвижных точек,интегральных инвариантов, уравнений в вариациях, исследована сходимость асимптотических разложений.
They introduced the small parameter method, fixed points,integral invariants, variational equations, the convergence of the asymptotic expansions.Дабы избежать любых недоразумений, сразу же оговорим: было бы нереалистично, даже нелепо полагать, чтомодель справедливого общества можно вывести из определенных био- антропологических инвариантов.
Let us avoid any misunderstandings: it would be unrealistic, even farcical,to believe that a model of the just society could be deducible from certain bio-anthropological invariants.Области интересов- символьное и доказательное моделирование, техника инвариантов, техники тестирования спецификаций, автоматизация доказательств, индуктивный вывод, верификация формальных спецификаций.
His research interests are symbolic modeling and modeling-by-proofs, invariants technique, specifications testing, automatic proofs, inductive inference, formal specifications verification.
