Program
The PDF file with the program is here You can download the book of abstracts from pca2025_book.pdfSeptember 29
| Euler Institute, Pesochnaya nab. 10 The link to the Zoom channel of PCA is in your personal account |
||||
| 09:30 — 10:00 | Registration, coffee | |||
| 10:00 — 10:10 | Opening the conference | |||
| 10:10 — 11:00 |
Vladimir Kornyak (Joint Institute for Nuclear Research) Do Quantum States Have to Be Continuous? Galois Fields and Multiparticle Quantum Systems
| |||
| 11:00 — 11:30 |
Yuri Blinkov (Saratov State University) Investigation of the Error of Finite Difference Schemes for the KdV Equation Using the First Differential Approximation
| |||
| 11:30 — 12:00 | Coffe break | |||
| 12:00 — 13:00 |
Viktor Kadrov, Mikhail Malykh, Alina Trusova, Lyubov Lapshenkova, and Ilshat Dulatov (Peoples’ Friendship University of Russia named after Patrice Lumumba) On closed invariant sets of reversible difference schemes
| |||
| 13:00 — 13:30 |
Lyubov Lapshenkova (Peoples' Friendship University of Russia) On new method to construct reversible difference schemes
| |||
| 13:30 — 15:00 | Lunch | |||
| 15:00 — 15:30 |
Victor F. Edneral (Lomonosov Moscow State University) On the first integral of the Li\'enard system with fourth-order nonlinearity
| |||
| 15:30 — 16:00 |
Mikhail Malykh, Anton Mamonov (Peoples’ Friendship University of Russia named after Patrice Lumumba) To the theory of involutive divisions
| |||
| 16:00 — 16:30 | Coffee break | |||
| 16:30 — 17:00 |
Egor Moschjonok (National University of Science and Technology MISiS) Animation of a satellite's orientation in free flight
| |||
| 17:00 — 17:30 |
Sergey Gutnik (Moscow State Institute of International Relations (MGIMO University)) Symbolic Computation of the Periodic Oscillations of a Two-Body System in the Plane of an Elliptic Orbit
| |||
| 17:30 — 18:00 |
Yuri Blinkov (Saratov State University) PyGInv: A package for researching and solving polynomial and differential systems, and building finite difference schemes
| |||
| 18:00 — 18:30 |
Andrei Pranevich (Yanka Kupala State University of Grodno) Spectral method of building first integrals for linear differential systems
| |||
| 18:30 — 21:30 | Welcome party |
September 30
| 10:00 — 10:30 |
Semjon Adlaj (Dorodnicyn Computing Centre of the RAS) Applying Polynomial Computer Algebra to Geometrically Construct Regular Polygons
| |||
| 10:30 — 11:00 |
Yurii Nikonorov (Southern Mathematical Institute of VSC RAS) Applications of polynomial computer algebra in geometry
| |||
| 11:00 — 11:30 | Coffee break | |||
| 11:30 — 12:00 |
Victor Selivanov, Svetlana Selivanova (Saint Petersburg University, Novosibirsk University) Symbolic vs Numeric: relating computations in discrete and continuous structures
| |||
| 12:00 — 12:30 |
Leonid Chilikov, Victor Selivanov (Saint Petersburg state university, Faculty of Mathematics and Computer Science) Ordered fields and Grzegorczyk hierarchy
| |||
| 12:30 — 13:00 |
Dmitry Dolgov (Kazan Federal University) On the new k-ary gcd algorithm
| |||
| 13:00 — 15:00 | Lunch | |||
| 15:00 — 15:30 |
Yuri Matiyasevich (Steklov Institute of Mathematics at St. Petersburg) Dirichlet $L$-functions, lower gamma-function, and Touchard polynomials
| |||
| 15:30 — 16:00 |
Rachid Mammeri , Nabil bennenni , Aicha Batoul (University of Science and Technology Houari Boumédiène,.Algiers,Algeria) Structural Properties of Double and Triple Skew Cyclic Codes
| |||
| 16:00 — 16:30 |
Nikolai Proskurin (PDMI ) Numerical observations on some multiplicative exponential sums
| |||
| 16:30 — 17:00 | Coffee break | |||
| 17:00 — 17:30 |
Stepan Samulevich (Saint-Petersburg state electrotechnical university) Ramanujan-Type Formulas for the Cl-Type Clausen Functions
| |||
| 17:30 — 18:00 |
Alexander Sakharov (Synstretch) Recursive Multi-Valued Logic Models
|
October 01
| 10:00 — 10:30 |
Vladimir Ryabov (Independent researcher) On another definition of nonlinearity of vectorial functions over finite fields
| |||
| 10:30 — 11:00 |
Gleb Nenashev (SPBU) Graphical Kirchhoff's algebras
| |||
| 11:00 — 11:30 | Coffee break | |||
| 11:30 — 12:00 |
Fedor Petrov (Saint Petersburg State University) Block sensitivity and degree
| |||
| 12:00 — 12:30 |
Alexander Chistov (St. Petersburg Depatment of Steklov Mathematical Institute of the Academy of Sciences of Russia) On a criterion for reducibility of polynomials over the ring of multivariable power series in zero characteristic
| |||
| 12:30 — 13:15 |
Alexey Kanel-Belov (Bar-Ilan University) Алгоритмическая неразрешимость проблемы делителей нуля в алгебрах с конечным базисом гребнера
| |||
| 13:15 — 15:00 | Lunch | |||
| 15:00 — 15:30 |
Gaiane Panina (Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН) A new proof of Milnor-Wood theorem
| |||
| 15:30 — 16:00 |
Nikita Gogin, Vladislav Shubin (Stockholm University) The Prime Power Conjecture for Projective Planes
| |||
| 16:00 — 16:30 | Coffe break | |||
| 16:30 — 17:20 |
Eugene Zima (Wilfrid Laurier University) Efficient modular arithmetic from polynomial point of view
| |||
| 17:20 — 17:50 |
Alexandr Seliverstov (Institute for Information Transmission Problems of the Russian Academy of Sciences) On Some Submatrix of the Macaulay Matrix
| |||
| 17:50 — 18:20 |
Ksaverii Malyshev (Skobeltsyn Institute of Nuclear Physics, Patrice Lumumba Peoples' Friendship University of Russia) On the Grinberg problem and its symbolic solution
|
October 02
| 10:00 — 10:30 |
Egor Malyutin (Saint Petersburg Electrotechnical University "LETI") WiseTask: Algorithms for Self-Checking Problems and Intelligent Tutoring Systems
| |||
| 10:30 — 11:00 |
Victoria Kazakevich (Saint-Petersburg Electrotechnical State University "LETI") Mathematical education of engineers in model theory terms
| |||
| 11:00 — 11:30 | Coffeee break | |||
| 11:30 — 12:00 |
Ljudmila A. Bordag (MLIT JINR, Dubna, Moscow region) On mathematical issues of errors suppressing in single-qubit gates
| |||
| 12:00 — 12:30 |
Georgii Khaziev (Institute for Information Transmission Problems (Kharkevich Institute) Russian Academy of Sciences) Picking an Imperfect Palindrome
| |||
| 12:30 — 13:00 |
Ioannis Parasidis (Greece, University of Thessaly, Department of Environmental Sciences,) Successive approximations of exact solutions to nonlocal boundary value problems with partial differential equations | |||
| 13:00 — 15:00 | Lunch | |||
| 15:00 — 16:00 |
Sergey Nikolenko (Steklov Institute of Mathematics at St. Petersburg) AI in Research: Hype or Takeoff?
| |||
| 16:00 — 16:30 | Coffee break | |||
| 16:30 — 17:00 |
Egor Smirnov-Maltsev (People's friendship university of Russia) Combinatorial proof of geometric properties of Young diagrams of maximum dimension
| |||
| 17:00 — 17:30 |
Andrei Malyutin (St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences) Four-valent graphs and locally free monoids
| |||
| 17:30 — 18:00 |
Nikolay Vasilyev (St.Petersburg Department of Steklov Institute of Mathematics) About involutions on paths in Schur graph
| |||
| Conference party. Furshet |
October 03
| 10:00 — 10:30 |
Boris Zolotov, Nikita Gaevoy, and Alexander Tiskin New approaches to periodic and local string comparison with sticky braids
| |||
| 10:30 — 11:00 |
Daniil Zolotarev, Alexandr Tiskin (Saint Petersburg State University) Approximation methods for the Chvatal-Sankoff constant
| |||
| 11:00 — 11:30 | Coffee break | |||
| 11:30 — 12:00 |
Sergei Presnyakov, Alexander Tiskin (Saint-Petersburg University ) The Permuton Hecke Monoid: An Algebraic Framework for Weighted Sequence Alignment
| |||
| 12:00 — 12:30 |
Iaroslav Blagouchine (St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences) On some particular cases of finite Dirichlet series with reciprocal trigonometric functions
| |||
| 12:30 — 13:00 |
Dimitar Mladenov (Sofia University; Institute of Nuclear Research and Nuclear Energy, Bulgarian Academy of Sciences) On factorizing form of integrity basis of polynomial SU(2)хSU(2)-invariants of 2-qubits
| |||
| 13:00 — 14:30 | Lunch | |||
| 14:30 — 15:30 |
Alexander Bruno, Alexander Batkhin (The Stephen B. Klein Faculty of Aerospace Engineering, Technion – Israel Institute of Technology) Studying integrability of the Euler-Poisson Equations with Computer Algebra and Normal Form Technique
| |||
| 15:30 — 16:00 |
Alijon Azimov, Alexander Bruno (Samarkand state university after Sh.Rashidov) Asymptotic parametric expansions of an algebraic variety at infinity
| |||
| 16:00 — 16:30 | Coffee break | |||
| 16:30 — 17:00 |
Sergei Soloviev (IRIT, Université de Toulouse) Theory of Proofs and Mac Lane's Conjecture
| |||
| 17:00 — 19:30 | Closing the conference. After conference party and discussion. |
