Статья посвящена вычислению сигнатур кривизны Риччи четырехмерных локально однородных римановых многообразий с нетривиальной подгруппой изотропии. Получен полный перечень всех возможных сигнатур кривизны Риччи для таких многообразий.
Статья посвящена алгоритмам операций в комплексной секторной интервальной арифметике. Показываются проблемы существующих алгоритмов и предлагается улучшение с использованием центральной формы записи.
Статья посвящена исследованию задачи об охране картинной галереи в случае, когда ее план представлен в виде выпуклого многогранника. Проводится обзор известных ранее результатов, а также описан алгоритм и приведен псевдокод основных процедур, применяемых для его реализации.
С помощью методов качественной теории дифференциальных уравнений исследуются стационарные точки нелинейной динамической системы, моделирующей генетический контроль состояния эмбриональных стволовых клеток. Известные ранее результаты расширены на более широкие области изменения параметров этой модели.
Статья посвящена исследованию конформного аналога уравнения Киллинга с ограничениями, свойств конформного множителя и построению нетривиальных примеров конформно киллинговых векторных полей.
Пусть - натуральное число,
Статья посвящена исследованию базиса и определяющих соотношений у 2-порожденной нильпотентной алгебры R над алгебраически замкнутым полем с двумя и тремя определяющими соотношениями, удовлетворяющей условию
Статья посвящена конечным кольцам с единицей, у которых сжатый граф делителей нуля является ацикличным.
МУЛЬТИПЛИКАТИВНОЕ ВЕКТОРНОЕ ПРОСТРАНСТВО, ТОЖДЕСТВО ВЕКТОРНОГО ПРОСТРАНСТВА, БАЗИС ТОЖДЕСТВ, КОНЕЧНО БАЗИРУЕМОЕ ПРОСТРАНСТВО, БЕСКОНЕЧНО БАЗИРУЕМОЕ ПРОСТРАНСТВО
Статья посвящена комбинаторым сложностным характеристикам бесконечных слов, в частности слов Штурма. Вводится новое понятие - полиномиальной сложности слова, тесно связанной с комбинаторной и арифметической сложностью. Для слов Штурма мы даем верхнюю оценку полиномиальной сложности равную
В работе с точностью до изоморфизма классифицированы все конечные локальные кольца характеристики
Статья посвящена обобщенным вычислениям с частичными оракулами, метарекурсивным системам и ∑-программированию. Для сохранения привычных свойств перечислимых множеств на оракул накладываются дополнительные требования. Метарекурсия Крипке-Платека строится на допустимых ординалах, для которых требуются оракулы со свойствами регулярности и слабой фундированности. Крайзель и Сакс строят метарекурсию для единственного ординала