6th International Conference "Computer Algebra", Moscow, June 23-25, 2025

The 6th international Moscow conference “Computer Algebra” will be held (hybrid format: in-person and online) from June 23 to June 25, 2025. The conference will be co-organized by Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS), Peoples’ Friendship University of Russia (RUDN) and Plekhanov Russian University of Economics (PRUE).

Conference Materials

Conference meetings will be held in-person and online in RUE building, Стремянный переулок, дом 36 (станция метро Серпуховская, выход из метро налево по указателям). При себе необходимо иметь паспорт. Просьба прибыть заранее для получения пропуска. Проход в лекционный зал конференции (корпус 9, аудитория 1.09) по указателям «VI международная конференция “Компьютерная алгебра”».

The opening ceremony will be started at 11:00 am on June 23, 2025.

On June 24, the conference session will be started at 11:00 am.

On June 25, the conference session will be started at 11:30 am.

The online connection links of the conference sessions have been e-mailed to the participants.

Conference Program

Invited Talks

1. Arreche C.E. Deciding summability via residues in theory and in practice
2. Blinkov Yu.A. Gröbner bases for investigating and solving polynomial and differential systems
3. Bruno A.D. (joint work with Batkhin A.B.) Integrable cases of the Euler–Poisson equations

Contributed Talks

1. Abramov S.A., Ryabenko A.A. Matrices of infinite series: checking non-singularity based on truncations Video Slides
2. Batkhin A.B., Khaydarov Z.Kh. Formal stability investigation in Hamiltonian systems with resonances
3. Bruno A.D., Azimov A.A. Parametric expansions of an algebraic variety near its singularities
4. Chen B., Zima E. Block Fermat numbers in modular arithmetic
5. Chen Sh., Kauers M., Koutschan C., Li X., Wang R., Wang Y. Non-minimality of minimal telescopers explained by residues
6. Dougherty-Bliss R., Kobayashi M., Ter-Saakov N., Zima E. On relative primality and other properties of trinomials
7. Edneral V.F. On the integrability of an ODE system with an inhomogeneous right-hand side
8. Gevorkyan M.N., Kulyabov D.S., Korolkova A.V., Sevastianov L.A. The dual quaternion algebra and its implementation in Asymptote language
9. Gutnik S.A. Investigation of the periodic planar oscillations of a two-body system in an elliptic orbit using the computer algebra methods
10. Khaziev G.A., Seliverstov A.V., Zverkov O.A. Searching for an imperfect palindrome
11. Kornyak V.V. Quantum mechanics through the lens of finite groups: computer algebra insights
12. Kovalev O.O., Batgerel B., Gusev A.A., Luong Le Hai, Chuluunbaatar O., Vinitsky S.I. Moshinsky atom as a test for FEM on hypercubes
13. Kuleshov A.S., Skripkin A.D. Existence of Liouvillian solutions in the problem of motion of a heavy gyrostat under the action of gyroscopic forces
14. Mesyanzhin A.V., Blinkov Y.A. Symbolic investigation of a difference scheme for wave processes in coaxial elastic cylindrical shells filled with an incompressible viscous fluid
15. Mikhalev A.A. Combinatorics of Lyndon-Shirshov words and algorithms of symbolic computation in Lie superalgebras
16. Muratova A.I., Gusev A.A., Zorin A.G., Vinitsky S.I. FEM calculations of coulomb two center problem
17. Petrov A.A., Druzhinina O.V., Masina O.N. Symbolic computing in the constructing problem of controlled compartmental model
18. Prokopenya A., Minglibayev M., Ibraimova A. Symbolic computation in studying the dynamics of two-body system with variable masses
19. Seliverstov A.V. The generic-case complexity of finding a binary solution to a system of linear equations
20. Volchkova E.D., Malyshev K.Yu. On the summation of fourier series over the roots of transcendental equations using annihilation
21. Zubov V. On the determination of the volumetric heat capacity and the thermal conductivity of a substance in the three-dimensional case

The two main topics of the conference are the following:

1. Open questions in computer algebra. In particular, the focus is on problems which as yet are still unsolved, but for which it is reasonable to expect that with concentrated research efforts they could be worked out in the near future.

2. Systematization (classification) of computer-algebraic tools. In particular, the goal is to propose principles for selection of appropriate computer-algebraic tools for solving concrete mathematical and applied problems.

Besides these two particular topics, the more traditional topics such as symbolic algorithms, mathematical software, and application aspects are discussed at the conference as well.

Key words: computer algebra, symbolic algorithms, implementation, software aspects, applied aspects, open questions, computer-algebraic tools.

• Abstract submission: due April 15, 2025 — The use of Conference template is required!
• Notification of acceptance: by May 15, 2025.

Please send the corresponding TeX and PDF files for the submission to email: moscowcaconf@gmail.com

The use of the following template is required for the conference submissions:

• Conference extended abstract template and guidelines: PDF file
• LaTeX source files for the template (zip archive)

Send questions about this template to email: anna.ryabenko@gmail.com

Note: the submission should be up to 4 pages - please check the template for more details.

Please send the corresponding TeX and PDF files for the submission to email: moscowcaconf@gmail.com

The participation in the conference is free of charge.

The 5th conference was held in the year 2023.

The 4th conference was held in the year 2021.

The 3rd conference was held in the year 2019.

The 2nd conference was held in the year 2017.

The 1st conference was held in the year 2016.