Заседания семинаров
Christian Artigues (LAAS - CNRS)
Mixed integer linear programming for resource-constrained scheduling.
Павел Сергеевич Колесников
О вычислении произведений Манина для операд (по совместной работе с Б. К. Сартаевым).
Аннотация
Мы рассмотрим задачу вычисления белого и черного произведений Манина для бинарных квадратичных операд с точки зрения соответствующих этим операдам многообразий алгебр. Будут представлены "рецептурные" подходы к вычислению определяющих тождеств многообразий, заданных операдами белого и черного произведений Манина.Ануреев И. С.
Использование формальных методов для обеспечения качества фреймворка СИГМА.
Олег Хамисов (Иркутск)
Об одной задаче составления расписания массовых перевозок.
Объединенное заседание семинаров Теория графов и Кафедры теоретической кибернетики НГУ
Х. Голмохаммади
Domination invariants and their properties (кандидатская диссертация).
Е. И. Хлестова
Реферат статьи:
R. E. Woodrow
Theories with a Finite Number of Countable Models (продолжение).
В. Д. Шепелев
Сильная $\pi$-теорема Силова для групп $PSL_{2}(q)$.
Баранов И. В. (НГУ)
Варшавский А. Е. Средний класс: анализ зависимости размера от уровня неравенства доходов (Экономика и математические методы, 2023, том 59, вып. 3)

