Новости

22-е Рабочее со­вещание по компьютерной алгебре, посвящённое памяти профессора В.П.Гердта, состоится в Дубне 24-25 мая 2021 года.

С глубоким прискорбием сообщаем, что 5 января 2021 года скончался доктор физико-математических наук, начальник нашего сектора профессор Владимир Петрович Гердт - замечательный учёный, наш дорогой друг и коллега. Выражаем сердечные соболезнования семье Владимира Петровича.

Очередное заседание семинара «Компьютерная алгебра» факультета ВМК МГУ и ВЦ РАН состоится в среду 24 февраля 2021 года, в 16:20 по московскому времени в дистанционном режиме через ZOOM .

Семинар сектора
Заседания семинара сектора проводятся в первый и третий вторник каждого месяца (за исключением праздничных дней и летних месяцев). Начало семинара в 15.00. Место проведения - комн. 364.

Архив новостей

21-е Рабочее со­вещание по компьютерной алгебре было проведено в Дубне 23-24 мая 2019 года.

Традиционное 20-е Рабочее со­вещание по компьютерной алгебре проходило в Дубне 21-22 мая 2018 года. Оно было посвящено памяти Виталия Александровича Ростовцева.

Международная конферен-ция "Computer Algebra" проходила в Москве с 17 по 21 июня 2019 г.

MMCP 2019
Международная конферен-ция "Математическое моделирование и вычисли-тельная физика" (MMCP 2019) проводилась в Словакии (Stará Lesná) с 1 по 5 июля 2019 г.

MMCP 2017
Международная конферен-ция "Математическое моделирование и вычисли-тельная физика" (MMCP 2017) проходила в Дубне с 3 по 7 июля 2017 г.

CA Workshop Dubna-2007

24-25 мая, Дубна. Пресса. Далее…  

Архив новостей

Задачи сектора

Сектор алгебраических и квантовых вычислений входит в состав Лаборатории информационных технологий (ЛИТ) Объединённого института ядерных исследований (ОИЯИ). Основными направлениями деятельности сектора являются следующие.
1. Разработка и развитие методов компьютерной алгебры, символьно – численных алгоритмов и программ для решения научных и технических задач, связанных с исследованиями, проводимыми в ОИЯИ и странах -участницах. Обеспечение пользователей ОИЯИ информацией о некоммерческих системах компьютерной алгебры и системах с открытым кодом. 2. Развитие и анализ математических моделей и алгоритмических аспектов квантового компьютинга и квантовых информационных процессов. Качественное и количественное описание перепутанных состояний кубитов. Разработка алгоритмов и программ, предназначенных для моделирования квантовых систем и ориентированных на гетерогенную платформу “HybriLIT” .

Основные методы и алгоритмы, разрабатываемые в секторе

Наиболее универсальным алгоритмическим методом исследования и решения систем полиномиальных, дифференциальных и разностных уравнений является метод базисов Гребнера [1]. За последние 10 лет в секторе были разработаны новые высокоэффективные алгоритмы вычисления базисов Гребнера [2], реализованные в специализированной системе компьютерной алгебры GINV [3]. В работе [4] предложено алгебраическое расширение инволютивного алгоритма на системы нелинейных дифференциальных уравнений в частных производных. Алгоритмический подход к анализу дискретных систем развивается в [5]. В работе [7] предлагается написанная на языке системы Mathematica программа для моделирования квантовых вычислений.

1. http://www.risc.jku.at/Groebner-Bases-Bibliography/ .
2. V.P.Gerdt. Involutive Algorithms for Computing Gröbner Bases. In: “Computational Commutative and Non-Commutative Algebraic Geometry”. NATO Science Series, IOS Press, 2005, pp. 199—225. arXiv:math.AC/0501111. 
3. V.P.Gerdt and Yu.A.Blinkov. Specialized Computer Algebra System GINV. Programming and Computer Software, Vol. 34, No. 2, 2008, 112—123.
4. T.Bächler, V.Gerdt, M.Lange-Hegermann and D.Robertz. Algorithmic Thomas Decomposition of Algebraic and Differential Systems. Journal of Symbolic Computation, 47(10), 1233-1266, 2012. arXiv:math.AC/1108.0817 .
5. V.Gerdt, M.Lange-Hegermann, D.Robertz. The MAPLE package TDDS for Thomas decomposition of systems of nonlinear PDEs. Computer Physics Communications, 234, 2019, 202--215. arXiv:physics.comp-ph/1801.09942
6. V.V. Kornyak. Structural and Symmetry Analysis of Discrete Dynamical Systems. In “Cellular Automata”, Nova Science Publishers, Inc., 2010, pp.119—163.
7. V.P. Gerdt and A.N.Prokopenya. The Circuit Model of Quantum Computation and its Simulation with Mathematica. Lecture Notes in Computer Science Vol. 7175, Springer, Heidelberg, 2012, pp.43—55.
8. K.K.Sharma, V. P.Gerdt. Entanglement sudden death and birth effects in two qubits maximally entangled mixed states under quantum channels. International Journal of Theoretical Physics, to appear. https://link.springer.com/article/10.1007/s10773-019-04332-z
9. A.A. Gusev, V.P. Gerdt, O. Chuluunbaatar, G. Chuluunbaatar, S.I. Vinitsky, V.L. Derbov, A. Gozdz, P.M. Krassovitskiy, Symbolic-numerical algorithms for solving elliptic boundary-value problems using multivariate simplex Lagrange elements, Lecture Notes in Computer Science 11077, pp. 197–213 (2018). https://link.springer.com/chapter/10.1007%2F978-3-319-99639-4_14

Разработка алгоритмов и создание программ

• Актуальность работ
• Анализ алгебраических и дифференциальных систем
• Вычисление когомологий алгебр и супералгебр Ли

Некоторые недавние работы сотрудников сектора

1. V.P.Gerdt, D.A.Lyakhov, D.Michels. On the Algorithmic Linearizability for Nonlinear Ordinary Differential Equations. Journal of Symbolic Computation, 98, 2020, 3-22. Doi.org/10.1016/j.jsc.2019.07.004.
2. O.V.Tarasov. Functional reduction of Feynman integrals. J.High Energ. Phys. (2019) 2019: 173. https://doi.org/10.1007/JHEP02(2019)173
3. V.Gerdt, A.Gusev, S.Vinitsky, O.Chuluunbaatar, L. Le Hai and V. Rostovtsev. Symbolic-Numerical Algorithm for Calculations of High-|m| Rydberg States and Decay Rates. Lecture Notes in Computer Science, Vol. 7442, Springer-Verlag, Berlin, 2012, pp.155—171.
4. O.V.Tarasov. Massless on-shell box integral with arbitrary powers of propagators. J. Phys., vol. A51, 2018, 27, p.275401. https://arxiv.org/abs/1709.07526
5. V.Gerdt and D.Robertz. Computation of Difference Gröbner Bases. Computer Science Journal of Moldova, 20(2), 2012, 203—226. arXiv:cs.SC/1206.3463 .
6. V.P.Gerdt and A.Hashemi. Comprehensive Involutive Systems. Lecture Notes in Computer Science, Vol. 7442, Springer-Verlag, Berlin, 2012, pp.98—116.
7. V.Gerdt, A.Khvedelidze, D.Mladenov and Yu.Palii. SU(6) Casimir Invariants and SU(2)xSU(3) Scalars for a Mixed Qubit-Qutrit States. Journal of Mathematical Sciences, Vol. 179, No. 6, 2011, 690—701. arXiv:quant-ph/1106.4905 .

Ближайшие конференции

См. также Events

• The Quantum Technology international conference (QTech 2020)
  6-8 April 2020, Barcelona, Spain
• The International Conference on Computational Science
  3-5 June 2020, Amsterdam, The Netherlands