?
Computer Algebra. 4th International Conference Materials
М. :
МАКС Пресс, 2021.
Ответственный редактор: С. А. Абрамов, Л. А. Севастьянов
Международная конференция проводится совместно Вычислительным центром А. А. Дородницына ФИЦ «Информатика и управление» РАН и Российским университетом дружбы народов. В представленных на конференции докладах обсуждаются актуальные вопросы компьютерной алгебры – научной дисциплины, алгоритмы которой ориентированы на точное решение математических и прикладных задач с помощью компьютера.
Главы книги
Anoshin V.I., Beketova A.D., Парусникова А. В., , in: Computer Algebra. 4th International Conference Materials.: M.: Max press, 2021. P. 27–29.
Добавлено: 30 марта 2022 г.
Язык:
английский
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 г.
Издательский центр ЮУрГУ, 2023.
Данный сборник содержит статьи, включенные в программу всероссийской научной конференции с международным участием «Параллельные вычислительные технологии 2023». Конференция проходила 28–30 марта 2023 года в Университете ИТМО (г. СанктПетербург). Подробную информацию о конференции можно найти в сети Интернет по адресу http://agora.guru.ru/pavt. Отпечатано с авторских оригиналов. ...
Добавлено: 27 ноября 2023 г.
Association for Computing Machinery (ACM), 2021.
Добавлено: 27 сентября 2021 г.
M.: RUDN, 2019.
Международная конференция проводится совместно Вычислительным центром им. А.А. Дородницына ФИЦ «Информатика и управление» РАН и Российским университетом дружбы народов. В представленных на конференции докладах обсуждаются актуальные вопросы компьютерной алгебры - научной дисциплины, алгоритмы которой ориентированы на точное решение математических и прикладных задач с помощью компьютера. Для научных работников, аспирантов и студентов физико-математических и технических специальностей. ...
Добавлено: 25 декабря 2019 г.
А. И. Зобнин, Тихонова М. И., В кн.: Компьютерная алгебра. Сборник научных статей. Труды международной конференции «Компьютерная алгебра». Москва, 29 июня — 2 июля 2016 г.: М.: ВЦ РАН, 2016. С. 98–100.
Мы изучаем базисы Гребнера идеалов в кольце многочленов k[x0, ..., xn, ...] от счетного набора переменных, порожденных конечным набором параметрических многочленов особого вида. У таких идеалов существует конечный эквивариантный базис Гребнера. ...
Добавлено: 26 ноября 2017 г.
М.: ВЦ РАН, 2016.
Международная конференция проводится совместно Вычислительным центром им. А. А. Дородницына ФИЦ «Информатика и управление» РАН и Российским университетом дружбы народов при поддержке РФФИ. В представленных на конференции докладах обсуждаются актуальные проблемы компьютерной алгебры — научной дисциплины, алгоритмы которой ориентированы на точное решение математических задач с помощью компьютера. ...
Добавлено: 26 ноября 2017 г.
[б.и.], 2017.
В представленных на конференции докладах обсуждаются актуальные проблемы компьютерной алгебры — научной дисциплины, алгоритмы которой ориентированы на точное решение математических задач с помощью компьютера. ...
Добавлено: 23 октября 2017 г.
Чебочко Н.Г., Чирков А. Ю., В кн.: Инновационные методы обучения в высшей школе. Сборник статей по итогам методической конференции ННГУ.: Изд-во ННГУ им. Н.И. Лобачевского, 2016. С. 256–258.
Рассматривается организация учебного процесса по курсу «компьютерная алгебра» для студентов старших курсов бакалавриата математических специальностей. Обосновывается выбор учебного материала, показывается связь с другими курсами. Описывается опыт научно исследовательских работ студентов по компьютерной алгебре. ...
Добавлено: 10 октября 2017 г.
NY: ACM, 2017.
Добавлено: 15 сентября 2017 г.
Данилов В. Г., Турунтаев И. С., , in: Smart Education and e-Learning 2016Issue 59.: Switzerland: Springer, 2016. P. 527–537.
In this paper we consider the problem of training tasks organization, delivery and support for courses that involve mathematics. Nowadays, the level of development of IT allows to offer qualitatively new approach to solving this problem, but most of the e-Learning systems do not cover this area well. Several important steps had been made in ...
Добавлено: 19 сентября 2016 г.
М.: Математический институт им. В. А. Стеклова РАН, 2016.
Тезисы международной конференции ...
Добавлено: 22 августа 2016 г.
Голубков А. Ю., Зобнин А.И., Соколова О. В., М.: МГТУ им. Н. Э. Баумана, 2013.
В пособии рассматриваются алгебраические алгоритмы на примере системы компьютерной алгебры Sage. Обсуждаются манипуляции с символьными выражениями, вычисления в различных алгебраических структурах, преобразования систем алгебраических уравнений. Пособие снабжено упражнениями и задачами.
Для студентов 3-4-го курсов математических и компьютерных специальностей, изучающих математику и компьютерную алгебру. ...
Добавлено: 1 октября 2014 г.