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

Location and Time

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

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

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

  • 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

Program Committee

Conference Chair
I.A.SokolovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Program Committee General Co-Chairs
Yu.G.EvtushenkoDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
K.E.SamuylovApplied Mathematics & Communications Technology Institute, Peoples' Friendship University of Russia, Russia
Program Committee Vice Chairs
L.A.SevastianovPeoples' Friendship University of Russia, and Joint Institute for Nuclear Research, Russia
S.A.AbramovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Program Committee
V.A.ArtamonovMoscow State University, Russia
M.BarkatouUniversite de Limoges, France
A.V.BernsteinSkolkovo Institute of Science and Technology, Russia
A.A.BogolubskayaJoint Institute for Nuclear Research, Russia
Yu.A.BlinkovSaratov State University, Russia
O.V.DruzhininaInstitute of Informatics Problems, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Yu.A.FlerovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences
R.R.GontsovInstitute for Information Transmission Problems of Russian Academy of Sciences, Russia
V.V.KornyakJoint Institute for Nuclear Research, Russia
A.V.KorolkovaPeoples' Friendship University of Russia, Russia
D.S.KulyabovPeoples' Friendship University of Russia, and Joint Institute for Nuclear Research, Russia
W.LeeUniversity of Stirling, Scotland, UK
G.I.MalaschonokNational University of Kyiv-Mohyla Academy, Ukrain
M.D.MalykhPeoples' Friendship University of Russia, Russia
A.A.MikhalevMoscow State University, Russia
A.V.MikhalevMoscow State University, Russia
M.PetkovsekUniversity of Ljubljana, Slovenia
A.N.ProkopenyaWarsaw University of Life Sciences, Poland
T.M.SadykovPlekhanov Russian University of Economics, Russia
V.A.SerebryakovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
D.StefanescuUniversity of Bucharest, Romania
M.WuEast China Normal University, Shanghai, P.R.China

Organising Committee

Organising Committee Co-Chairs
G.M. MikhailovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
D.V.DivakovPeoples' Friendship University of Russia, Russia
Organising Committee Vice Chairs
A.A.RyabenkoDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
A.A.TiutiunnikPeoples' Friendship University of Russia, Russia
Organising Committee
A.V.DemidovaPeoples' Friendship University of Russia, Russia
V.V.DorodnicynaDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
D.E.KhmelnovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
K.B.TeimurazovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
T.R.VelievaPeoples' Friendship University of Russia, Russia
S.V.VladimirovaDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
Y.A.ZonnDorodnicyn Computing Center, Federal 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:

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

conference.txt · Last modified: 2021/07/16 19:19 by sa
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki