Table of Contents

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 (REU).

Conference Materials

To be announced.

Location and Time

Conference meetings will be held in-person and online in REU building. The online connection details and starting time of the conference sessions are to be communicated to the participants later.

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.D.) 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
  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

Main Topics

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.

Important Dates

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

Conference Co-Chair

I.A.SokolovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
A.V.ZorinPeoples' Friendship University of Russia, Russia
V.A.TitovPlekhanov Russian University of Economics, Russia

Program Committee

Program Committee General Co-Chairs
Yu.G.EvtushenkoFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
O.V.KitovaPlekhanov Russian University of Economics, Russia
K.E.SamuylovPeoples' Friendship University of Russia, Russia
Program Committee Vice Chairs
L.A.SevastianovPeoples' Friendship University of Russia, and Joint Institute for Nuclear Research, Russia
T.M.SadykovPlekhanov Russian University of Economics, Russia
S.A.AbramovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Program Committee
Yu.A.FlerovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
N.P.TuchkovaFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
M.BarkatouUniversite de Limoges, France
T.CluzeauUniversite de Limoges, France
O.V.DruzhininaInstitute of Informatics Problems, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
A.B.BatkhinKeldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
A.V.BernsteinSkolkovo Institute of Science and Technology, Russia
Yu.A.BlinkovSaratov State University, Russia
M.WuEast China Normal University, Shanghai, P.R.China
E.V.ZimaWilfrid Laurier University, Waterloo, Canada
V.V.KornyakJoint Institute for Nuclear Research, Russia
D.S.KulyabovPeoples' Friendship University of Russia, and Joint Institute for Nuclear Research, Russia
M.D.MalykhPeoples' Friendship University of Russia, Russia
A.A.MikhalevMoscow State University, Russia
A.N.ProkopenyaWarsaw University of Life Sciences, Poland
V.A.KitovPlekhanov Russian University of Economics, Russia
A.A.BogolubskayaJoint Institute for Nuclear Research, Russia
R.R.GontsovInstitute for Information Transmission Problems of Russian Academy of Sciences, Russia
A.V.KorolkovaPeoples' Friendship University of Russia, Russia
A.P.KryukovMoscow State University, Russia

Organising Committee

Organising Committee Co-Chair
A.A.GurinPlekhanov Russian University of Economics, Russia
D.V.DivakovPeoples' Friendship University of Russia, Russia
A.A.RyabenkoFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Organising Committee Vice-Chairs
A.I.MedvedevaPlekhanov Russian University of Economics, Russia
Y.A.ZonnFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
A.A.TiutiunnikPeoples' Friendship University of Russia, Russia
Organising Committee
G.M.MikhailovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
T.R.VelievaPeoples' Friendship University of Russia, Russia
A.V.DemidovaPeoples' Friendship University of Russia, Russia
V.V.DorodnicynaFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Yu.O.TrusovaFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
I.V.LevichevPeoples' Friendship University of Russia, Russia
A.A.MamonovPeoples' Friendship University of Russia, Russia
S.V.VladimirovaFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
K.B.TeimurazovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia

Conference Template

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

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

Participation Fee

The participation in the conference is free of charge.

Previous Years Conference Pages

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.