ipm-label.jpg

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

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

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

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.EvtushenkoFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
A.I.AptekarevKeldysh Institute of Applied Mathematics 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
A.B.BatkhinKeldysh Institute of Applied Mathematics of Russian Academy of Sciences, 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
M.BarkatouUniversite de Limoges, France
O.V.DruzhininaInstitute of Informatics Problems, Federal Research Center “Computer Science and Control” 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
M.PetkovsekUniversity of Ljubljana, Slovenia
A.N.ProkopenyaWarsaw University of Life Sciences, Poland
T.M.SadykovPlekhanov Russian University of Economics, Russia
A.A.BogolubskayaJoint Institute for Nuclear Research, Russia
N.N.VasilyevSt.Petersburg Department of V.A.Steklov Mathematical Institute, St.Petersburg, 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
D.A.PavlovSt.Petersburg State University, Saint Petersburg Electrotechnical University “LETI”, St.Petersburg, Russia

Organising Committee

Organising Committee Chair
A.B.BatkhinKeldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
Organising Committee Vice-Chairs
D.V.DivakovPeoples' Friendship University of Russia, Russia
A.A.RyabenkoFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
A.A.TiutiunnikPeoples' Friendship University of Russia, Russia
Organising Committee
Y.A.ZonnFederal 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
G.M.MikhailovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, Russia
D.E.KhmelnovFederal Research Center “Computer Science and Control” of Russian Academy of Sciences, 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:

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: 2023/09/03 12:29 by anna
 
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