?
A faster algorithm for counting the integer points number in ∆-modular polyhedra
Siberian Electronic Mathematical Reports. 2022. Vol. 19. No. 2. P. 613–626.
Kupavskii A., Носков Ф. А., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
Добавлено: 8 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Flamarion M. V., Пелиновский Е. Н., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Бернардан С. Ж., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7
Добавлено: 6 октября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные
технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на
широкий круг специалистов, работающих на стыке теории информации, системного анализа и
прикладных предметных областей. В издание вошли результаты исследований, посвящённые
моделированию дискретных и стохастических структур управления и связи, разработке
высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам
цифровой трансформации образования, архитектурно-градостроительного проектирования,
экологического ...
Добавлено: 6 октября 2026 г.
Бернардан С. Ж., Chhaibi R., Najnudel J. и др., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875
Добавлено: 5 октября 2026 г.
Исмаилов А. Р., Спиридонов В. П., Успехи математических наук 2026 Т. 81 № 5 С. 183–184
Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...
Добавлено: 5 октября 2026 г.
Серебренников Д. А., Белов А. В., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169
В условиях роста стоимости энергоресурсов и необходимости повышения энергоэффективности производственных процессов особую актуальность приобретает задача оптимизации энергопотребления промышленных предприятий. В данной работе рассматривается подход к управлению энергозатратами машиностроительного предприятия на основе методов многокритериальной оптимизации. Постановка задачи включает несколько целевых функций: минимизацию энергопотребления, минимизацию стоимости электроэнергии с учётом тарифных ограничений и максимизацию производственной эффективности. Для решения ...
Добавлено: 5 октября 2026 г.
Абдулхаев К. С., Широков Д. С., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21
Добавлено: 4 октября 2026 г.
Зыков С. В., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13
Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...
Добавлено: 2 октября 2026 г.
Грибанов Д. В., Khayaleyev T., Cherniavskii M. и др., , in: ESA'2026: Proceedings of the 34th Annual European Symposium on Algorithms.: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2026. Ch. 388 P. 25:1–25:22.
Добавлено: 24 августа 2026 г.
Dmitry V. Gribanov, Dmitry S. Malyshev, Пардалос П. О. и др., Computational Optimization and Applications 2025 Vol. 92 P. 811–861
Добавлено: 6 декабря 2024 г.
Добавлено: 4 апреля 2024 г.
Грибанов Д. В., Shumilov I., Малышев Д. С. и др., Journal of Global Optimization 2024 Vol. 89 P. 1033–1067
In our paper, we consider the following general problems: check feasibility, count the number of feasible solutions, find an optimal solution, and count the number of optimal solutions in P ∩ Zn , assuming that P is a polyhedron, defined by systems Ax ≤ b or Ax = b, x ≥ 0 with a sparse ...
Добавлено: 6 марта 2024 г.
Грибанов Д. В., Shumilov I., Dmitry Malyshev и др., Journal of Global Optimization 2024 Vol. 88 P. 591–651
Добавлено: 10 мая 2022 г.
Добавлено: 18 сентября 2020 г.
Мусатова Е. Г., Лазарев А. А., Ponomarev K. и др., IFAC-PapersOnLine 2016 Vol. 49 No. 12 P. 221–225
We consider a problem of the astronaut training scheduling. Each astronaut has his own set of tasks which should be performed with respect to resource and time constraints. The problem is to determine start moments for all considered tasks. For this issue a mathematical model based on integer linear programming is proposed. Computational results of ...
Добавлено: 31 октября 2016 г.
Беленький А. С., Computers & Mathematics with Applications 2005 Vol. 50 No. 5-6 P. 783–802
As is known, in U.S. presidential elections, all 50 states and the District of Columbi(DC) award their electoral votes to (the electors of) U.S. presidential candidates based on the popular vote received by (the electors of) the candidates there (although two different schemes of awarding the electoral votes are currently applied in the U.S.). For ...
Добавлено: 21 октября 2016 г.
Грибанов Д. В., Малышев Д. С., Журнал Средневолжского математического общества 2016 Т. 18 № 3 С. 19–31
Мы рассматриваем естественные постановки задач о независимом множестве, о вершинном и о реберном доминирующем множестве как задач целочисленного линейного программирования и доказываем полиномиальную разрешимость этих задач для классов графов, имеющих ограниченные по абсолютному значению миноры (расширенных) матриц ограничений. ...
Добавлено: 20 октября 2016 г.
Лазарев А. А., Мусатова Е. Г., Управление большими системами: сборник трудов 2012 № 38 С. 161–169
Рассматривается задача формирования грузовых составов и маршрутов их следования по железнодорожной сети. Необходимо их следования по железнодорожной сети. Необходимо из имеющихся на станциях заказов сформировать составы и определить расписание и маршрут их движения до станций назначения так, чтобы минимизировать суммарное взвешенное время выполнения заказов. Предлагаются целочисленные постановки данной задачи, учитывающие ограничения, возникающие на практике. ...
Добавлено: 23 ноября 2012 г.