Сортировать по:
| Выпуск | Название | |
| Том 14, № 4 (2007) | О теоремах Р. Радо и Д. Уотсона | Аннотация PDF (Rus) похожие документы |
| В. Л. Дольников | ||
| "... Theorems of R. Rado and of D. Watson are generalizations for theorems P. Kirchberger and C ..." | ||
| Том 19, № 6 (2012) | О некоторых следствиях теоремы о трансверсалях | Аннотация PDF (Rus) похожие документы |
| Владимир Леонидович Дольников | ||
| "... In this paper we consider theorems which are generalizations of the well-known corollaries ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... complexity of ¯nding the deductions in comparison with the known systems for automated theorem proving ..." | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| Том 22, № 3 (2015) | РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I | Аннотация похожие документы |
| И. Д. Рeмизoв | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| Том 21, № 5 (2014) | Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| Том 23, № 1 (2016) | Erratum to: Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. II | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| Том 23, № 5 (2016) | Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... of the fundamental matrix of L-diagonal system may be constructed by the use of the classical Levinson’s theorem. ..." | ||
| Том 24, № 1 (2017) | Об асимптотике решений гармонического осциллятора с интегральным возмущением | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... to the so called L-diagonal form. We then apply the classical Levinson’s theorem to construct ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| Том 14, № 2 (2007) | Бифуркация Андронова - Хопфа для релейных систем | Аннотация PDF (Rus) похожие документы |
| О. А. Чернышева | ||
| "... theorem is used to develop an analog to the Andronov-Hopf bifurcation theorem. ..." | ||
| Том 16, № 3 (2009) | О неравенстве типа неравенства Джексона в диадическом пространстве BMO | Аннотация PDF (Rus) похожие документы |
| И. П. Иродова | ||
| "... In this paper the direct theorem of the approximation theory for functions from the dyadic Besov ..." | ||
| Том 16, № 3 (2009) | Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала | Аннотация PDF (Rus) похожие документы |
| О. А. Дунаева, М. Л. Мячин | ||
| "... In this paper we present a corrected version of the theorem from the article "A Correction ..." | ||
| Том 15, № 1 (2008) | Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений | Аннотация PDF (Rus) похожие документы |
| П. Г. Парфенов, И. А. Каплий | ||
| "... of integral expression. Deduced theorem allows to calculate this characteristic by summation of some function ..." | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... as a semiring satisfying certain theorems of Kleene algebra. Using these theorems as term rewriting rules, we ..." | ||
| Том 19, № 1 (2012) | Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова | ||
| "... equations (a hybrid system of differential equations). We have proved the existence theorem ..." | ||
| Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Скороходов | ||
| "... the minimum throughput of these arcs. It is shown that the theorem by Ford and Fulkerson, according to which ..." | ||
| Том 20, № 6 (2013) | О группах гомологий одного подпространства триангуляций двумерного симплекса с не более чем 6 точками разбиения границы | Аннотация PDF (Rus) похожие документы |
| Светлана Ивановна Яблокова | ||
| "... . As a result, we obtain a theorem about the homology groups Hn in cases n = 0, . . . , 5. The article ..." | ||
| Том 22, № 5 (2015) | Асимптотика собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота | Аннотация PDF (Rus) похожие документы |
| С. А. Кащенко | ||
| "... neighborhood of the turning points is essential. The main result is a theorem on the limit values ..." | ||
| Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Николаевич Азаров | ||
| "... The generalization of one classical Seksenbaev theorem for polycyclic groups is obtained ..." | ||
| Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) похожие документы |
| Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
| "... are given, which ensure the fulfillment of the existence theorem of the contrast structure ..." | ||
| Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
| Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
| "... algebras, are an option. The Artin–Wedderburn theorem implies that a group algebra is isomorphic ..." | ||
| Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... foundations of Hoare’s logic were examined in classical works, and some soundness/completeness theorems ..." | ||
| Том 20, № 5 (2013) | Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики | Аннотация PDF (Rus) похожие документы |
| Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
| "... . In analyzing this quasi-normal form, we can state on the base of the accordance theorem, that any preassigned ..." | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| "... of computational complexity. Further, we introduce a set of theorems that facilitate the analysis in cases when ..." | ||
| Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
| "... distinguishes our paper from the existing technologies. We propose four theorems for testing the required ..." | ||
| Том 21, № 5 (2014) | Применение метода квазинормальных форм к математической модели отдельного нейрона | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| "... , the production of a quasi-normal form and the subsequent application of the conformity theorems. In this case ..." | ||
| Том 20, № 5 (2013) | Особенности колебания решений адиабатических осцилляторов с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров, Евгений Николаевич Агафончиков | ||
| "... the asymptotic formulas. Finally, we apply the functional differential analog of the Levinson theorem. We use ..." | ||
| Том 20, № 3 (2013) | Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... theorem to get the asymptotics for its solutions. Finally, we analyze the features of a parametric ..." | ||
| Том 26, № 4 (2019) | Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... as for boundary value problems, it is not possible to prove the well-known Oseledets theorem which allows us ..." | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... introduce the theorems which are required to prove the correctness of a modified algorithm variant ..." | ||
| Том 22, № 2 (2015) | О существовании ABA-факторизаций у спорадических групп ранга 3 | Аннотация PDF (Rus) похожие документы |
| Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров | ||
| "... factorizations for sporadic groups of rank 3. We have proved the existence theorem of ABA-factorization ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... is suggested. A method based on theory extension by new theorems to prove verification conditions is suggested ..." | ||
| Том 25, № 1 (2018) | Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла | Аннотация похожие документы |
| Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин | ||
| "... the Hirota bilinear operator algebra and a current theorem, it is shown that, in contrast to the usual vector ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... and iterative programs (that can later serve as a casestudy for automatic theorem proving), or just ..." | ||
| Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... of the two considered neural network models. We prove the theorem about the equivalence of the dynamics ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... of describing behavior is quite expressive — the theorem on the Turing completeness of the declarative LTL ..." | ||
| Том 21, № 4 (2014) | О пространстве путей на полных пересечениях в грассманианах | Аннотация PDF (Rus) похожие документы |
| Светлана Михайловна Ермакова | ||
| "... interest, this result will be used in our future work on generalisation of splitting theorems for finite ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... , if the theorem prover fails to determine the truth of the condition, we can focus on proving its falsity. Thus ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... a system of three-pixel hexagonal fragments to which the theorem is proved on the Eulerian characteristic ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... procedures of reading and writing objects from / to the memory tape. Basing on the earlier proved theorem ..." | ||
| Том 22, № 4 (2015) | О финитной отделимости подгрупп в расщепляемых расширениях | Аннотация PDF (Rus) похожие документы |
| А. А. Кряжева | ||
| "... . In this paper we obtained a generalization of the Allenby and Gregoras theorem by replacing the condition ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... and theorems library management system” and “Errors analysis and output of information about errors”. According ..." | ||
| Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| "... of the Vasil’eva algorithm and the existence theorem is carried out using the asymptotic method ..." | ||
| Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
| "... ’s theorem is used, three images are used in the presentation of the material. ..." | ||
| Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Балабаев | ||
| "... methods. Some analogues of the theorems of Liouville, Weierstrass, Cauchy, Gauss, Morera, an analogue ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... KeYmaera is an interactive theorem prover and is used to verify safety properties of cyber-physical ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... KeYmaeraX is a Hoare-style theorem prover for hybrid systems. A hybrid system can be seen ..." | ||
| Том 26, № 2 (2019) | Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| "... parameters. The main result of this paper is Theorem. Let (m) - be the Bernoulli measure ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... /Simulink® -model into a hybrid program (HP), i.e. into the input syntax of the theorem prover KeYmaera ..." | ||
| Том 22, № 2 (2015) | Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах | Аннотация PDF (Rus) похожие документы |
| Светлана Михайловна Ермакова | ||
| "... type. The motiavtion of this work is to extend theorems of Barth - Van de Ven - Tjurin - Sato type ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... . The C-kernel language [19] is a subset of C-light. The theorem of translation correctness was proved ..." | ||
| Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
| Т. В. Прохорова | ||
| "... , then, by the Skorobogatov – Zarhin theorem, [Br′(V )/ Im[Br(k) → Br′(V )]](non −p) is finite, so in this case the groups Br ..." | ||
| Том 24, № 5 (2017) | Существование несмещенной оценки энтропии для специальной меры Бернулли | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| "... is Theorem. Let (mu) be the Bernoulli measure with probabilities (p_0,p_1>0), (p_0+p_1=1), (p_0=p_1 ..." | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... a theorem on the existence of an orbitally asymptotically stable limit cycle, which bifurcates from ..." | ||
| Том 28, № 4 (2021) | Решение задач линейного программирования приведением к виду с очевидным ответом | Аннотация PDF (Rus) похожие документы |
| Глеб Дмитриевич Степанов | ||
| "... задачу с очевидным ответом. Ради удобства преобразования целевого функционала, уравнения записываются как ..." | ||
| Том 27, № 1 (2020) | Об одном разбиении отрезка, применяемом для оценки энтропии | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| "... )). The main result of this paper. ({bf Theorem.} \ Q_n' = 1 - Q_n''' =left { sum_{i=1}^k q^{n+d_i}, k ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... approximating the function at it. Using $big{{bfLambda}_n^k[f]big}$ the following theorem is established ..." | ||
| 1 - 60 из 60 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
