5th International Conference "Computer Algebra", Moscow, June 26-28, 2023

The 5th international Moscow conference “Computer Algebra” will be held online from June 26 to June 28, 2023. 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 (PFUR) and Keldysh Institute of Applied Mathematics of Russian Academy of Sciences (KIAM RAS).

The afternoon session of June 27 will be in memory of Marko Petkovšek (9.04.1955 - 24.03.2023).

Conference Materials

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

Conference Program

Invited Talks

1. A.D.Bruno: Asymptotic nonlinear analysis as a calculus and applications: the Paper
2. Sh.Chen (joint work with L.Du and M.Kauers): Hermite reduction for D-finite functions
3. M.van Hoeij: A saga on a generating function of the squares of Legendre polynomials
4. S.Watt: Two methods for efficient generic inversion
5. E.V.Zima: Accelerating modular arithmetic with special choice of moduli

Contributed Talks

1. Abramov S.A., Petkovšek M., Ryabenko A.A. On incomplete rank matrices Video (the Second Link to Video) Slides
2. Aranson A.B. Power algebra for power geometry
3. Azimov A.A., Bruno A.D. On computation of power transformations the Paper
4. Chuluunbaatar G., Gusev A.A., Chuluunbaatar O., Vinitsky S.I. Hermite interpolation polynomials on parallelepipeds and FEM applications
5. Danik Yu.E., Dmitriev M.G. Asymptotic approximations and symbolic representation of parametric families of feedback controls in nonlinear systems Video (the Second Link to Video) Slides
6. Demidova A.V., Druzhinina O.V., Masina O.N., Petrov A.A. Modeling of one-step processes using computer algebra tools
7. Divakov D.V., Tiutiunnik A.A. Symbolic-numerical investigation of asymptotic method for studying waveguide propagation problems Video (the Second Link to Video) Slides
8. Edneral V.F. Integrable cases of the resonant Bautin system Video (the Second Link to Video) Slides
9. Galatenko A.V., Pankratiev A.E., Zhigliaev R.A. An optimized procedure for deciding affinity of finite quasigroups
10. Gontsov R.R., Goryuchkina I.V. Generalized power series solutions of q-difference equations and the small divisors phenomenon
11. Gorchakov A.Yu., Zubov V.I. Automatic differentiation. Practical aspects
12. Gutnik S.A. Symbolic investigation of the plane equilibria of the system of two connected bodies on a circular orbit
13. Ilyukhin D.O., Parusnikova A.V. Regularity criterion for a linear differential system with meromorphic coefficients
14. Iusup-Akhunov B.B., Kamenev I.G., Zhukova A.A., Pilnik N.P. Symbolic calculus for optimal control in multi-agent economic model
15. Khvedelidze A., Torosyan A. On the states of N-level quantum system with positive Wigner function
16. Kornyak V.V. A constructive approach to problems of quantum mechanics
17. Kuleshov A.S., Vidov N.M. Nonlinear effects of motion near the equilibrium manifold of nonholonomic systems
18. Maisuradze M.V., Mikhalev A.A. Primitive elements of free non-associative algebras over finite fields
19. Mikhailov F. Computing of tropical sequences associated with Somos sequences in Gfan package Video (the Second Link to Video) Slides
20. Mukhina Y.S. Bounding the support in the differential elimination problem Video (the Second Link to Video) Slides
21. Nemytykh A.P. A note on application of program specialization to computer algebra Video (the Second Link to Video) Slides
22. Salnikov V.N. Learning port-Hamiltonian systems
23. Shirokov I.E. Calculations of quantum corrections in supersymmetric theories using computer algebra methods Video (the Second Link to Video) Slides
24. Wu M. On tight and efficient bound propagation for neural networks based on Bernstein polynomial approximations
25. Yakovleva T.V. Optimisation of computer algebra techniques application for Rician data analysis Video (the Second Link to Video) Slides

Poster Session On Wednesday 28 June, 12:45-13:35, a poster session is scheduled. Session time is allocated for discussion of poster reports, links to which are posted below. Conference participants are advised to first read the poster presentations and/or watch the recordings of poster reports to discuss the questions to the poster reports if any within the poster session.

1. Batkhin A.B., Khaydarov Z.Kh. Structure of resonant variety in Hamiltonian systems with three degrees of freedom: Video_eng (the Second Link to Video_eng) Slides_eng
2. Blinkov Y.A. The first differential approximation on the example of the Van der Pol oscillator Video_eng Slides_eng
3. Gevorkyan M.N., Korolkova A.V., Kulyabov D.S. Analytical geometry of the projective space ℝP^3 in terms of Plücker coordinates and geometric algebra: Video_rus Slides_eng Slides_rus
4. Khmelnov D.E., Ryabenko A.A. Algorithm EG as a tool for finding Laurent solutions of linear differential systems with truncated series coefficients: Video_eng (the Second Link to Video_eng) Slides_eng MapleWorksheetExamples MapleWorksheetExamplesInPdf
5. Seliverstov A.V. On a simple lower bound for the matrix rank: Video_eng Slides_eng

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 28, 2023 — The use of Conference template is required!
• Notification of acceptance: by May 15, 2023.

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)

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