4th International Conference "Computer Algebra", Moscow, June 28-29, 2021

The 4th international Moscow conference “Computer Algebra” will be held online from June 28 to June 29, 2021. The conference will be co-organized by Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS) and Peoples’ Friendship University of Russia (PFUR).

The 1st conference was held in the year 2016, the 2nd coference was held in the year 2017, and the 3rd coference was held in the year 2019.

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. Bruno A.D., Batkhin A.B. Level lines of a polynomial in the plane Video
2. Gerhard J. What's new in Maple 2021 Video

Contributed talks

1. Abramov S.A., Barkatou M.A., Petkovsek M. On infinite sequences and difference operators Video
2. Alauddin F., Bychkov A., Pogudin G. Quadratization of ODE systems Video
3. Anoshin V.I., Beketova A.D., Parusnikova A.V. Asymptotic expansions of solutions to the hierarchy of the fourth Painleve equation Video
4. Batkhin A.B., Bruno A.D. Algorithms for solving a polynomial equation in one or two variables Video
5. Bessonov M., Ilmer I., Konstantinova T., Ovchinnikov A., Pogudin G. Role of monomial orderings in efficient Groebner basis computation in parameter identifiability problem Video
6. Bogdanov D.V., Sadykov T.M. Amoebas of multivariate hypergeometric polynomials Video
7. Chen Sh. Symbolic integration of differential forms Video
8. Chuluunbaatar G., Gusev A.A., Derbov V.L., Vinitsky S.I., Chuluunbaatar O. A Maple implementation of the finite element method for solving metastable state problems for systems of second-order ordinary differential equations Video
9. Cuyt A., Lee W.-s. From Prony's exponential fitting to sub-Nyquist signal processing using computer algebra techniques Video
10. Edneral V.F. The integrability condition in the normal form method Video
11. Galatenko A.V., Pankratiev A.E., Staroverov V.M. Deciding cryptographically important properties of finite quasigroups Video
12. Gevorkyan M.N., Kulyabov D.S., Korolkova A.V., Demidova A.V., Velieva T.R. Symbolic implementation of multivector algebra in Julia language Video
13. Gutnik S.A., Sarychev V.A. Application of symbolic computations for investigation of the equilibria of the system of connected bodies moving on a circular orbit Video
14. Hamdouni A., Salnikov V. Revisiting geometric integrators in mechanics Video
15. Khmelnov D.E., Ryabenko A.A., Abramov S.A. Automatic confirmation of exhaustive use of information on a given equation Video
16. Klimov And.V. On semantics of names in formulas and references in object-oriented languages Video
17. Kornyak V.V. Subsystems in finite quantum mechanics Video
18. Malaschonok G., Tchaikovsky I. About big matrix inversion Video
19. Malykh M.D., Malyshev K.Yu. Solving the hyperbolic equation in elementary functions Video
20. Meshveliani S.D. On a machine-checked proof for an optimized method to multiply polynomials Video
21. Prokopenya A.N. Symbolic computation in studying the stability of periodic motion of the swinging Atwood machine Video
22. Reznichenko I.O., Krutitskii P.A. Quadrature formula for the double layer potential
23. Seliverstov A.V. A plain note on binary solutions to large systems of linear equations Video
24. Teguia Tabuguia B., Koepf W. Hypergeometric type power series Video
25. Wu M. High accuracy trigonometric approximations of the real Bessel functions of the first kind Video
26. Youssef M., Pulch R. Machine learning for Bratu's problem: solution and parameter estimation Video
27. Zima E.V. On the structure of polynomial solutions of Gosper's key equation Video

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

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