Cтраница 3
Просто разрешимость (10.6) вытекает из наличия сильно инвариантного конусного отрезка. [31]
Его разрешимость представляет некоторый интерес, так как это один из немногих известных разрешимых классов, который содержит выполнимые формулы, не имеющие конечных моделей. [32]
Для разрешимости этой системы необходимо подчинить к некоторым дополнительным условиям; эти условия будут получены после решения поставленной задачи. [33]
Для разрешимости этого уравнения символ Гильберта ( 6 2) р должен равняться 1 при всех нечетных р и р оо. [34]
Доказать разрешимость групп Д ( я, Р), соли п 3, 4, 5, 0, 7, а Р является иолом вычетов по модулю 3, 3, 5, 5 и 7 соответственно. [35]
Предположив разрешимость Sa при п - Ь, взять последовательность подгрупп типа 4.6.4. Выделить в ней последний из членов Hk, содержащих все тройные циклы. Воспользовавшись 4.5.10, показать, что тогда и H / t l должен был бы содержать все тройные циклы. [36]
О разрешимости алгебр Ли с регулярным автоморфизмом конечного периода, Докл. [37]
Иногда разрешимость программы можно установить более просто путем анализа ее спецификации S. Пусть уже известно, что программа ( Р, G) является полной. [38]
О разрешимости краевых задач для квазилинейных параболических уравнений высших порядков, Матем. [39]
Для разрешимости неоднородной задачи необходимо и достаточно выполнения одного условия ортогональности. [40]
О разрешимости линейных уравнений в гильбертовом пространстве, Докл. [41]
Из разрешимости данной задачи погружения ( fc / J7 G, f) следует разрешимость всех ее сопутствующих задач погружения. [42]
О разрешимости нелинейных операторных уравнений в локально выпуклых топологических векторных пространствах, Изв. [43]
Для разрешимости безмоментной статической задачи снова надо выполнить три дополнительных условия, но теперь они не так очевидны и заключаются в требовании, чтобы внешние силы не совершали работы на перемещениях возможных изгибаний. [44]
О разрешимости первой краевой задачи для квазилинейных уравнений с быстро растущими коэффициентами в классах Орлича. [45]